diff options
Diffstat (limited to 'make/Makefile')
-rw-r--r-- | make/Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/make/Makefile b/make/Makefile index e8ea334..e013055 100644 --- a/make/Makefile +++ b/make/Makefile @@ -77,7 +77,15 @@ else ifdef JAVAC_TARGET_ARG ANT_OPTIONS += -Djavac.target=$(JAVAC_TARGET_ARG) endif -endif +endif + +ifdef SOURCE_LANGUAGE_VERSION + ANT_OPTIONS += -Djavac.source=$(SOURCE_LANGUAGE_VERSION) +else + ifdef JAVAC_SOURCE_ARG + ANT_OPTIONS += -Djavac.source=$(JAVAC_SOURCE_ARG) + endif +endif ifdef ALT_BOOTDIR ANT_JAVA_HOME = JAVA_HOME=$(ALT_BOOTDIR) |