[igt-dev] [PATCH i-g-t 05/29] Use /bin/sh for shell scripts

[D Scott Phillips]

These scripts don't use an bash-specific functionality, and bsd is
not available by default on FreeBSD.

Signed-off-by: D Scott Phillips <d.scott.phillips at intel.com>
---
 man/rst2man.sh             | 2 +-
 tests/generate_testlist.sh | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/man/rst2man.sh b/man/rst2man.sh
index 49a98fc5..b7f28991 100755
--- a/man/rst2man.sh
+++ b/man/rst2man.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 rst2man=$1
 input=$2
diff --git a/tests/generate_testlist.sh b/tests/generate_testlist.sh
index 87637fc8..d506b149 100755
--- a/tests/generate_testlist.sh
+++ b/tests/generate_testlist.sh
@@ -1,16 +1,16 @@
-#!/bin/bash
+#!/bin/sh
 
 OUTPUT=$1
 shift
 
 echo TESTLIST > $OUTPUT
 
-if [[ $# -gt 0 ]] ; then
+if [ $# -gt 0 ] ; then
 	echo -n $1 >> $OUTPUT
 	shift
 fi
 
-while [[ $# -gt 0 ]] ; do
+while [ $# -gt 0 ] ; do
 	echo -n " $1" >> $OUTPUT
 	shift
 done
-- 
2.23.0