run-test-FOO.sh: forward all arguments to plt-test-lab1

Author: andreasabel

run-test-cabal.sh

@@ -6,10 +6,12 @@
 
 if [ "$1" == "" -o  "$1" == "-h" -o "$1" == "--help" ]; then
   echo "PLT lab 1 testsuite runner"
-  echo "usage: $0 GRAMMARFILE"
+  echo "usage: $0 [OPTIONS] GRAMMARFILE"
+  echo "Takes the same options as plt-test-lab1:"
+  cabal run plt-test-lab1
   exit 1
 fi
 
-cabal run plt-test-lab1 -- "$1"
+cabal run plt-test-lab1 -- "$@"
 
 # EOF

run-test-ghc.sh

@@ -6,10 +6,12 @@
 
 if [ "$1" == "" -o  "$1" == "-h" -o "$1" == "--help" ]; then
   echo "PLT lab 1 testsuite runner"
-  echo "usage: $0 GRAMMARFILE"
+  echo "usage: $0 [OPTIONS] GRAMMARFILE"
+  echo "Takes the same options as plt-test-lab1:"
+  runghc plt-test-lab1
   exit 1
 fi
 
-runghc plt-test-lab1 -- "$1"
+runghc plt-test-lab1 -- "$@"
 
 # EOF

run-test-stack.sh

@@ -6,10 +6,12 @@
 
 if [ "$1" == "" -o  "$1" == "-h" -o "$1" == "--help" ]; then
   echo "PLT lab 1 testsuite runner"
-  echo "usage: $0 GRAMMARFILE"
+  echo "usage: $0 [OPTIONS] GRAMMARFILE"
+  echo "Takes the same options as plt-test-lab1:"
+  stack run
   exit 1
 fi
 
-stack run -- "$1"
+stack run -- "$@"
 
 # EOF