diff options
Diffstat (limited to 'cje-production')
| -rwxr-xr-x | cje-production/scripts/runAntRunner.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cje-production/scripts/runAntRunner.sh b/cje-production/scripts/runAntRunner.sh index 26f5c87e5..f85bc7dd7 100755 --- a/cje-production/scripts/runAntRunner.sh +++ b/cje-production/scripts/runAntRunner.sh @@ -65,7 +65,7 @@ fi echo -devworkspace="${BUILD_HOME}"/workspace-antRunner +devworkspace=${WORKSPACE}/workspace-antRunner devArgs=-Xmx512m echo |