diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-02-21 17:48:46 -0800 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-02-21 17:48:46 -0800 |
| commit | 60613ce46b4341902d1e1c61fb4e6caf08c37089 (patch) | |
| tree | db58e879c279a8ddfd125ca56e80b343610e8ddf /Makefile | |
| parent | e6132af29e23e398848e0607522864e7713ebc05 (diff) | |
cleanup mvn location
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
@@ -25,14 +25,7 @@ HEADLESS_DIR=headless RSTESTER_DIR=rsTester DOC_DIR=doc -UNAME := $(shell uname) -ifeq ($(UNAME), Linux) MVN_EXE=`which mvn` -# MVN_EXE=/usr/local/apache-maven-3.0.4/bin/mvn -else -# Non-Linux platfoms not yet supported -MVN_EXE=`which mvn` -endif define profile .PHONY: profile-$1 |