equal
deleted
inserted
replaced
36 |
36 |
37 # Allow concurrent changes to be merged in prior to pushing |
37 # Allow concurrent changes to be merged in prior to pushing |
38 jprt.sync.push=true |
38 jprt.sync.push=true |
39 |
39 |
40 # Directories to be excluded from the source bundles |
40 # Directories to be excluded from the source bundles |
41 jprt.bundle.exclude.src.dirs=build dist webrev |
41 jprt.bundle.exclude.src.dirs=build dist webrev ${jprt.bundle.exclude.src.dirs.extra} |
42 |
42 |
43 # Use configure when building |
43 # Use configure when building |
44 jprt.build.use.configure=true |
44 jprt.build.use.configure=true |
45 jprt.build.use.jib=true |
45 jprt.build.use.jib=true |
46 jprt.test.use.jib=true |
46 jprt.test.use.jib=true |
47 jprt.jib.launcher=common/bin/jib.sh |
47 jprt.jib.launcher=bin/jib.sh |
48 jprt.build.use.jib.publish=true |
48 jprt.build.use.jib.publish=true |
49 |
49 |
50 # Clear out all the build needs as JIB handles this |
50 # Clear out all the build needs as JIB handles this |
51 jprt.jdk9.build.needs= |
51 jprt.jdk9.build.needs= |
52 jprt.macosx.jdk9.build.needs= |
52 jprt.macosx.jdk9.build.needs= |