On Mon, Sep 05, 2016 at 11:49:02PM +0200, Ana Guerrero López wrote: > The script contains a few bashims and it won't run in systems such as Debian > and Ubuntu where /bin/sh is not a symlink to /bin/bash > > Signed-off-by: Ana Guerrero López <ana@xxxxxxxxx> Thanks Applied, Ira > > --- > doc/generate | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/doc/generate b/doc/generate > index 816b66f..b1339f8 100755 > --- a/doc/generate > +++ b/doc/generate > @@ -1,4 +1,4 @@ > -#!/bin/sh > +#!/bin/bash > > docdir=`dirname $0` > mode=$1 > -- > 2.9.3 > > -- > To unsubscribe from this list: send the line "unsubscribe linux-rdma" in > the body of a message to majordomo@xxxxxxxxxxxxxxx > More majordomo info at http://vger.kernel.org/majordomo-info.html -- To unsubscribe from this list: send the line "unsubscribe linux-rdma" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html