--- 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