diff options
Diffstat (limited to 'functions.sh')
-rwxr-xr-x | functions.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/functions.sh b/functions.sh index aa41759..278fe1f 100755 --- a/functions.sh +++ b/functions.sh @@ -252,7 +252,7 @@ conf_jenkins() # As noted during jdk8 integration, toolchain has subtle ties to the build location. Thus in # jenkins use same tmpdir for all builds. # XXX: make this tmpfs, 10G of ram should be enough - echo 'TMPDIR = "${base_dir}/workspace/tmp"' >>conf/site.conf + echo "TMPDIR = \"${base_dir}/workspace/tmp\"" >>conf/site.conf echo 'TCLIBCAPPEND = ""' >>conf/site.conf fi } |