diff options
Diffstat (limited to 'src/batchtools')
-rw-r--r-- | src/batchtools/build.mk | 2 | ||||
-rwxr-xr-x | src/batchtools/headless/bin/runHeadless.sh | 4 | ||||
-rw-r--r-- | src/batchtools/rsTester/src/test/resources/ruleSets/headingGuidelines-caps.js | 6 |
3 files changed, 5 insertions, 7 deletions
diff --git a/src/batchtools/build.mk b/src/batchtools/build.mk index 26980e4..1b71531 100644 --- a/src/batchtools/build.mk +++ b/src/batchtools/build.mk @@ -9,9 +9,7 @@ test: test-batchtools .PHONY: test-batchtools test-batchtools: \ - $(build-dir)/fiveui.crx \ $(build-dir)/fiveui.xpi \ - $(topdir)/profiles/chrome \ $(topdir)/profiles/firefox $(call label,BATCHTEST)(cd $(batchtools-dir) \ && xvfb-run -a $(maven-cmd) test -DFIREFOX_BIN_PATH=$(firefox_bin_path)) 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 \ $* diff --git a/src/batchtools/rsTester/src/test/resources/ruleSets/headingGuidelines-caps.js b/src/batchtools/rsTester/src/test/resources/ruleSets/headingGuidelines-caps.js index f6c1cb6..8c41123 100644 --- a/src/batchtools/rsTester/src/test/resources/ruleSets/headingGuidelines-caps.js +++ b/src/batchtools/rsTester/src/test/resources/ruleSets/headingGuidelines-caps.js @@ -8,12 +8,12 @@ exports.rule = function() { function(idx) { var ch = $(this).text()[0]; if (ch) { - return (ch == ch.toLowerCase() ); + return (ch == ch.toLowerCase()); } else { return false; } }); - $(badHeadings).map(function(idx, elt){ - report('Heading does not start with a capitol letter.', elt); + $(badHeadings).map(function(idx, elt) { + report('Heading does not start with a capital letter.', elt); }); }; |