diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-10 11:19:47 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 11:19:47 -0700 |
| commit | 877520a9fa9020bfbcb10512b6b771f4491d3b9e (patch) | |
| tree | 7accf42fef67e1b5dcdd97a324ef72bae4521151 /Config.mk.sample | |
| parent | 686d00c01dc3096953156fa43daa164f1d59b7dc (diff) | |
Move more commands to Config.mk
Diffstat (limited to 'Config.mk.sample')
| -rw-r--r-- | Config.mk.sample | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Config.mk.sample b/Config.mk.sample index 1a8b7f7..8685ab9 100644 --- a/Config.mk.sample +++ b/Config.mk.sample @@ -1,4 +1,5 @@ -PHANTOM_EXE ?= $(shell which phantomjs 2>/dev/null) - +phantomjs-cmd ?= $(call find-cmd,phantomjs) +maven-cmd ?= $(call find-cmd,mvn) +pandoc-cmd ?= $(call find-cmd,pandoc) addon-sdk-version ?= 1.14 |