diff options
-rwxr-xr-x | scripts/test.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/scripts/test.sh b/scripts/test.sh index 1833682f..8a080dbf 100755 --- a/scripts/test.sh +++ b/scripts/test.sh @@ -7,7 +7,7 @@ mkdir -p testdir if [ -z "$OLD" ] then - make install_flat PREFIX=testdir + make install_flat PREFIX=testdir || exit 1 fi cd testdir @@ -25,6 +25,12 @@ then else for i in "$TOPDIR"/scripts/test/*.test do - . $i + CMDNAME="$(echo "$i" | sed 's@.*/\(.*\)\.test@\1@')" + if [ -h $CMDNAME ] + then + . $i + else + echo "$CMDNAME disabled" + fi done fi |