Small script changes

3 files changed, 3 insertions, 3 deletions

diff --git a/conformance/dotest b/conformance/dotest
index cfc47ee..3ffe06b 100755
--- a/conformance/dotest
+++ b/conformance/dotest
@@ -13,4 +13,4 @@ fi
 
 $path/$generator $1 | sed 's|\\\\||g' > $path/test.in
 shift
-$path/test $@ $path/test.in
+$path/test "$@" $path/test.in
diff --git a/conformance/findbad b/conformance/findbad
index 7144b78..dda2c09 100755
--- a/conformance/findbad
+++ b/conformance/findbad
@@ -8,4 +8,4 @@ trap 'echo; rm -f $path/test.{in,out,ref} &> /dev/null ; exit' INT
 
 while ! test "`$path/dotest $1`"; do echo -n .; done
 shift
-$path/test $@ $path/test.in
+$path/test "$@" $path/test.in
diff --git a/conformance/findbads b/conformance/findbads
index 3344320..87570f8 100755
--- a/conformance/findbads
+++ b/conformance/findbads
@@ -7,7 +7,7 @@ path=`dirname $0`
 trap 'rm -f $path/test.{in,out,ref} &> /dev/null ; exit' INT
 
 while true; do
-  $path/findbad $@
+  $path/findbad "$@"
   echo -e "findbads: bad test found!!!\7"
   if ! test -d $path/badtests; then
     mkdir $path/badtests