From 52ea36dca560492db102462d71c4d701ff4afb88 Mon Sep 17 00:00:00 2001
From: Fergus Henderson <fjh@cs.mu.oz.au>
Date: Fri, 20 Feb 2004 01:05:00 +0000
Subject: [PATCH] When invoking $(JAVAC), pass $(ALL_JAVACFLAGS).

Estimated hours taken: 0.25
Branches: main

scripts/Mmake.rules:
	When invoking $(JAVAC), pass $(ALL_JAVACFLAGS).
---
 scripts/Mmake.rules | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/scripts/Mmake.rules b/scripts/Mmake.rules
index a3beabeeb..0212699e0 100644
--- a/scripts/Mmake.rules
+++ b/scripts/Mmake.rules
@@ -1,5 +1,5 @@
 #-----------------------------------------------------------------------------#
-# Copyright (C) 1995-2003 The University of Melbourne.
+# Copyright (C) 1995-2004 The University of Melbourne.
 # This file may only be copied under the terms of the GNU General
 # Public License - see the file COPYING in the Mercury distribution.
 #-----------------------------------------------------------------------------#
@@ -241,12 +241,12 @@ $(rlos_subdir)%.rlo : %.m
 ifeq ($(MMAKE_USE_SUBDIRS),yes)
 
 $(classes_subdir)%.class: $(javas_subdir)%.java
-	$(JAVAC) -d $(classes_subdir) $<
+	$(JAVAC) $(ALL_JAVACFLAGS) -d $(classes_subdir) $<
 
 else
 
 $(classes_subdir)%.class: $(javas_subdir)%.java
-	$(JAVAC) $<
+	$(JAVAC) $(ALL_JAVACFLAGS) $<
 
 endif