diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-13 11:12:38 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-13 11:12:38 -0700 |
| commit | 2243f840e7562022fe0f3c711d8b41f8550c69d2 (patch) | |
| tree | 5f5ff1079e06ea965421dbb8e2cd151dfcf57ae2 /src/js/tests | |
| parent | f56fe8d4e4b3a062951f687c71b54945802545c1 (diff) | |
Remove url-pat.js
Diffstat (limited to 'src/js/tests')
| -rw-r--r-- | src/js/tests/PhantomJSJasmineRunner.html | 1 | ||||
| -rw-r--r-- | src/js/tests/SpecRunner.html | 1 | ||||
| -rw-r--r-- | src/js/tests/build.mk | 2 |
3 files changed, 2 insertions, 2 deletions
diff --git a/src/js/tests/PhantomJSJasmineRunner.html b/src/js/tests/PhantomJSJasmineRunner.html index e8e07e6..606a251 100644 --- a/src/js/tests/PhantomJSJasmineRunner.html +++ b/src/js/tests/PhantomJSJasmineRunner.html @@ -23,7 +23,6 @@ <script type="text/javascript" src="../fiveui/js/chan.js"></script> <script type="text/javascript" src="../fiveui/js/rules.js"></script> <script type="text/javascript" src="../fiveui/js/messenger.js"></script> - <script type="text/javascript" src="../fiveui/js/url-pat.js"></script> <script type="text/javascript" src="../fiveui/js/settings.js"></script> <script type="text/javascript" src="../fiveui/js/state.js"></script> <script type="text/javascript" src="../fiveui/injected/prelude.js"></script> diff --git a/src/js/tests/SpecRunner.html b/src/js/tests/SpecRunner.html index 3469bfd..606967e 100644 --- a/src/js/tests/SpecRunner.html +++ b/src/js/tests/SpecRunner.html @@ -21,7 +21,6 @@ <script type="text/javascript" src="../fiveui/js/chan.js"></script> <script type="text/javascript" src="../fiveui/js/rules.js"></script> <script type="text/javascript" src="../fiveui/js/messenger.js"></script> - <script type="text/javascript" src="../fiveui/js/url-pat.js"></script> <script type="text/javascript" src="../fiveui/js/settings.js"></script> <script type="text/javascript" src="../fiveui/js/state.js"></script> <script type="text/javascript" src="../fiveui/injected/prelude.js"></script> diff --git a/src/js/tests/build.mk b/src/js/tests/build.mk index 3ab79c0..8facda7 100644 --- a/src/js/tests/build.mk +++ b/src/js/tests/build.mk @@ -12,6 +12,8 @@ $(call strict-error,"phantomjs not found: unable to run javascript tests") else test: test-js + +.PHONY: test-js test-js: cd $(topdir)/src/js && $(phantomjs-cmd) \ lib/phantomjs_jasmine/phantomjs_jasminexml_runner.js \ |