Changeset 344 for trunk/test/testcompile.sh

Timestamp:

Jun 1, 2011, 6:48:58 PM (13 years ago)

Author:

katerina

Message:

Fix test script for prelude.

File:

• trunk/test/testcompile.sh (modified) (2 diffs)

trunk/test/testcompile.sh

@@ -203 +203 @@
 testmake ()
 {
+
         fail=0
         #
@@ -691 +692 @@
         if [ -z "$doall" ]; then
             let "num = num + 1" >/dev/null
-            [ -z "$quiet" ] && log_skip $2 ${MAXTEST} "$TEST";
-            let "num = num + 1" >/dev/null
-            [ -z "$quiet" ] && log_skip $2 ${MAXTEST} "$TEST (smatch)";
-            let "num = num + 1" >/dev/null
-            [ -z "$quiet" ] && log_skip $2 ${MAXTEST} "$TEST (uno)";
-
-            let "num = num + 1" >/dev/null
-            [ -z "$quiet" ] && log_skip $2 ${MAXTEST} "$TEST";
-            let "num = num + 1" >/dev/null
-            [ -z "$quiet" ] && log_skip $2 ${MAXTEST} "$TEST (smatch)";
-            let "num = num + 1" >/dev/null
-            [ -z "$quiet" ] && log_skip $2 ${MAXTEST} "$TEST (uno)";
+            [ -z "$quiet" ] && log_skip $num ${MAXTEST} "$TEST";
+            let "num = num + 1" >/dev/null
+            [ -z "$quiet" ] && log_skip $num ${MAXTEST} "$TEST (smatch)";
+            let "num = num + 1" >/dev/null
+            [ -z "$quiet" ] && log_skip $num ${MAXTEST} "$TEST (uno)";
+
+            let "num = num + 1" >/dev/null
+            [ -z "$quiet" ] && log_skip $num ${MAXTEST} "$TEST";
+            let "num = num + 1" >/dev/null
+            [ -z "$quiet" ] && log_skip $num ${MAXTEST} "$TEST (smatch)";
+            let "num = num + 1" >/dev/null
+            [ -z "$quiet" ] && log_skip $num ${MAXTEST} "$TEST (uno)";
         else
             if test -r "Makefile"; then