diff options
-rwxr-xr-x | scripts/jobs/integrate/windows | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/jobs/integrate/windows b/scripts/jobs/integrate/windows index 615927878f..8eed95aeef 100755 --- a/scripts/jobs/integrate/windows +++ b/scripts/jobs/integrate/windows @@ -12,4 +12,4 @@ PATH=/cygdrive/c/apache-ant-1.9.6/bin:$PATH export JAVA_HOME='c:/Program Files/Java/jdk1.8.0_92/' export PATH="$JAVA_HOME/bin:$PATH" -ant -Dscalac.args.optimise=-Yopt test +ant test-opt |