[m-rev.] diff: setup for testing the erlang grade

[Julien Fischer]

Setup for testing the erlang grade.

tools/test_mercury:
 	Force the use of --make when testing the erlang grade.

Julien.

Index: test_mercury
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.352
diff -u -r1.352 test_mercury
--- test_mercury	29 Jun 2009 03:44:05 -0000	1.352
+++ test_mercury	29 Jun 2009 06:58:06 -0000
@@ -862,9 +862,21 @@
      echo "test_mercury starting tests for grade $grade at `date`" 1>&2
      MERCURY_SUPPRESS_STACK_TRACE=yes
      export MERCURY_SUPPRESS_STACK_TRACE
+
+    # The Erlang backend requires the use of --make.
+    case $grade in
+        erlang)
+            FORCE_MMC_MAKE="--use-mmc-make"
+        ;;
+
+        *)
+            FORCE_MMC_MAKE=""
+        ;;
+    esac
+
      case $BRANCH in
          *)
-            $MMAKE GRADE="$grade" \
+            $MMAKE "$FORCE_MMC_MAKE" GRADE="$grade" \
                  EXTRA_MCFLAGS="$TEST_MCFLAGS" \
                  EXTRA_CFLAGS="$TEST_CFLAGS" \
                  EXTRA_MGNUCFLAGS="$TEST_MGNUCFLAGS" \

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------