diff options
| -rw-r--r-- | demos/MiscDemos/makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/demos/MiscDemos/makefile b/demos/MiscDemos/makefile index 89d83c3..d4aa80f 100644 --- a/demos/MiscDemos/makefile +++ b/demos/MiscDemos/makefile @@ -53,7 +53,11 @@ else JAVA14_CLASSES = endif -all: cleanup $(JAVA13_CLASSES) $(JAVA14_CLASSES) +all: cleanup java13demos java14demos + +java13demos: $(JAVA13_CLASSES) + +java14demos: $(JAVA14_CLASSES) $(JAVA13_CLASSES) : $(JAVA13_SOURCES) $(JAVAC_13) -O -deprecation $^ | tee -a errors |