diff options
Diffstat (limited to 'src/batchtools/headless/bin/runHeadless.sh')
| -rwxr-xr-x | src/batchtools/headless/bin/runHeadless.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/batchtools/headless/bin/runHeadless.sh b/src/batchtools/headless/bin/runHeadless.sh index 4c4d863..29a0419 100755 --- a/src/batchtools/headless/bin/runHeadless.sh +++ b/src/batchtools/headless/bin/runHeadless.sh @@ -1,8 +1,8 @@ #!/usr/bin/env bash -export FIVEUI_ROOT_PATH=$HOME/FiveUI +export FIVEUI_ROOT_PATH=$HOME/galois/FiveUI export FIREFOX_BIN_PATH=/Users/bjones/myapps/Firefox_17_esr.app/Contents/MacOS/firefox java -DFIVEUI_ROOT_PATH=$FIVEUI_ROOT_PATH \ -DFIREFOX_BIN_PATH=$FIREFOX_BIN_PATH \ - -jar $FIVEUI_ROOT_PATH/headless/bin/HeadlessRunner-0.0.1-SNAPSHOT.one-jar.jar \ + -jar $FIVEUI_ROOT_PATH/src/batchtools/headless/bin/HeadlessRunner-0.0.1-SNAPSHOT.one-jar.jar \ $* |