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> --- 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
