make/common/JavaCompilation.gmk
changeset 32717 3dfcb41a7326
parent 32460 9e9bffb3029a
child 32720 7e0e586a6817
--- a/make/common/JavaCompilation.gmk	Mon Sep 21 09:40:37 2015 +0200
+++ b/make/common/JavaCompilation.gmk	Mon Sep 21 11:01:19 2015 +0200
@@ -575,6 +575,7 @@
 	        --permit-sources-without-package \
 	        --compare-found-sources $$($1_BIN)/_the.$1_batch.tmp \
 	        --log=$(LOG_LEVEL) \
+	        --state-dir=$$($1_BIN) \
 	        $$($1_SJAVAC_ARGS) \
 	        $$($1_FLAGS) \
 	        $$($1_HEADERS_ARG) \