diff options
author | mikaelpeltier <mikaelpeltier@google.com> | 2015-03-17 16:53:06 +0100 |
---|---|---|
committer | mikaelpeltier <mikaelpeltier@google.com> | 2015-03-17 16:53:06 +0100 |
commit | 9f6adb589ae3a3a1bb332019f79f106b3e153284 (patch) | |
tree | f0d2ec493c9408b92cc16a81eb6181edcc2046df /jack/etc | |
parent | 73e919ca55ec70613cf94ab95500811e6217531b (diff) | |
download | toolchain_jack-9f6adb589ae3a3a1bb332019f79f106b3e153284.tar.gz toolchain_jack-9f6adb589ae3a3a1bb332019f79f106b3e153284.tar.bz2 toolchain_jack-9f6adb589ae3a3a1bb332019f79f106b3e153284.zip |
Set Jack instance to 6
Change-Id: Icbeb80a934445b177179c7192986878e9375b9bf
Diffstat (limited to 'jack/etc')
-rwxr-xr-x | jack/etc/jack | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jack/etc/jack b/jack/etc/jack index 2fb6f919..8c533998 100755 --- a/jack/etc/jack +++ b/jack/etc/jack @@ -16,7 +16,7 @@ # set -o nounset -JACK_NB_COMPILE=10 +JACK_NB_COMPILE=6 JACK_TIMEOUT=15 if [ -z $TMPDIR ]; then |