Last change
on this file since 15256 was
15256,
checked in by Mark Evenson, 3 years ago
|
ci: set platform-specific runtime options
|
File size:
393 bytes
|
Line | |
---|
1 | #!/usr/bin/env bash |
---|
2 | |
---|
3 | jdk=$1 |
---|
4 | if [[ -z $jdk ]]; then |
---|
5 | jdk=openjdk8 |
---|
6 | fi |
---|
7 | |
---|
8 | case $jdk in |
---|
9 | openjdk8) |
---|
10 | options="-XX:+UseG1GC -XX:+AggressiveOpts -XX:CompileThreshold=10" |
---|
11 | ;; |
---|
12 | openjdk11) |
---|
13 | options="-XX:CompileThreshold=10" |
---|
14 | ;; |
---|
15 | esac |
---|
16 | |
---|
17 | cat abcl.properties.in | awk -F = -v options="$options" '/^java.options/ {print $0 " " options; next}; {print $0}' > abcl.properties |
---|
18 | |
---|
Note: See
TracBrowser
for help on using the repository browser.