summaryrefslogtreecommitdiff
blob: 7897d3f0ec7c832f8891dafaec853539278c3da0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
--- mercury-tests-0.13.1.orig/Mmake.common	2006-01-25 20:03:44.000000000 +1300
+++ mercury-tests-0.13.1/Mmake.common	2007-01-11 21:36:31.000000000 +1300
@@ -73,8 +73,8 @@
 -include $(TESTS_DIR)/Mmake.params
 
 MCFLAGS += --flags $(TESTS_DIR)/TESTS_FLAGS
-ifdef WORKSPACE_FLAGS
-MCFLAGS += --flags $(TESTS_DIR)/WS_FLAGS
+ifdef WORKSPACE
+MCFLAGS += --flags $(TESTS_DIR)/WS_FLAGS.ws
 endif
 
 # Avoid trying to make this file with `mmc --make' if it doesn't exist.