diff options
| -rwxr-xr-x | testsuite/synth/testsuite.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/synth/testsuite.sh b/testsuite/synth/testsuite.sh index 7eb9c3269..12b367f2c 100755 --- a/testsuite/synth/testsuite.sh +++ b/testsuite/synth/testsuite.sh @@ -1,6 +1,6 @@ #! /bin/sh -# Driver for the synth testsuite. +# Driver for a testsuite. set -e @@ -29,7 +29,7 @@ done singlerun() { echo "" - echo "Synth dir $1:" + echo "dir $1:" cd $1 if ! ./testsuite.sh; then echo "#################################################################" |