diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-06-11 09:18:00 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-06-11 09:18:00 -0700 |
| commit | 1aafd8f8a9e5e751c5605fa5845da659c8f3f046 (patch) | |
| tree | 13d2b0ee3933cb5fc9ebbb3cd7406bd66f0a7bdf /src/batchtools | |
| parent | 461ac2262114b95eb0c34bc4ebdcf94058fcc624 (diff) | |
changed path to headless jar
Diffstat (limited to 'src/batchtools')
| -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 \ $* |