diff options
author | Sven Gothel <[email protected]> | 2003-06-27 20:11:23 +0000 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2003-06-27 20:11:23 +0000 |
commit | d414134bd77fdcbf5b2c252556b2b198dca11bee (patch) | |
tree | 4b191b9c9d8358b04f74f371a4d3509c0d4b6f3f | |
parent | b27f2d9d03d6c4bf17c41d988765a4f996a908a6 (diff) |
using GLOBAL JAVA_.._FLAGS
-rw-r--r-- | demos/MiscDemos/makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/demos/MiscDemos/makefile b/demos/MiscDemos/makefile index d4aa80f..a548950 100644 --- a/demos/MiscDemos/makefile +++ b/demos/MiscDemos/makefile @@ -60,10 +60,10 @@ java13demos: $(JAVA13_CLASSES) java14demos: $(JAVA14_CLASSES) $(JAVA13_CLASSES) : $(JAVA13_SOURCES) - $(JAVAC_13) -O -deprecation $^ | tee -a errors + $(JAVAC_13) $(JAVAC_13_FLAGS) $^ | tee -a errors $(JAVA14_CLASSES) : $(JAVA14_SOURCES) - $(JAVAC_14) -O -deprecation $^ | tee -a errors + $(JAVAC_14) $(JAVAC_14_FLAGS) $^ | tee -a errors cleanup: rm -f errors |