diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-06-10 12:04:28 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-06-10 12:04:28 -0700 |
| commit | 461ac2262114b95eb0c34bc4ebdcf94058fcc624 (patch) | |
| tree | 62e068f63de7a43529a486cf2f021ef2e8c4b2f4 /src/batchtools | |
| parent | ce457865b1c0f13e31bf1b48e796b7e95272c2cb (diff) | |
maven-exe -> maven-cmd
Diffstat (limited to 'src/batchtools')
| -rw-r--r-- | src/batchtools/build.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/batchtools/build.mk b/src/batchtools/build.mk index af0fc74..06239d6 100644 --- a/src/batchtools/build.mk +++ b/src/batchtools/build.mk @@ -17,6 +17,6 @@ test-batchtools: \ && xvfb-run -a $(maven-cmd) test) clean:: - (cd $(batchtools-dir) && $(maven-exe) clean) + (cd $(batchtools-dir) && $(maven-cmd) clean) endif |