make/jprt.properties
changeset 47217 72e3ae9a25eb
parent 46232 9d5453865843
child 47428 d72d7d55c765
--- a/make/jprt.properties	Tue Sep 12 19:03:39 2017 +0200
+++ b/make/jprt.properties	Tue Sep 12 19:03:56 2017 +0200
@@ -38,13 +38,13 @@
 jprt.sync.push=true
 
 # Directories to be excluded from the source bundles
-jprt.bundle.exclude.src.dirs=build dist webrev
+jprt.bundle.exclude.src.dirs=build dist webrev ${jprt.bundle.exclude.src.dirs.extra}
 
 # Use configure when building
 jprt.build.use.configure=true
 jprt.build.use.jib=true
 jprt.test.use.jib=true
-jprt.jib.launcher=common/bin/jib.sh
+jprt.jib.launcher=bin/jib.sh
 jprt.build.use.jib.publish=true
 
 # Clear out all the build needs as JIB handles this