diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-03 15:23:20 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-03 15:23:20 -0700 |
| commit | d657e80429b4ea758316dc0a307afd2b480e45e4 (patch) | |
| tree | ea165808e57c9594b7cace307f0b2d5f577c3567 /Config.mk.sample | |
| parent | b2e6343765872d981122b358afd76d81403c4240 (diff) | |
Add a Config.mk for build config
Diffstat (limited to 'Config.mk.sample')
| -rw-r--r-- | Config.mk.sample | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Config.mk.sample b/Config.mk.sample new file mode 100644 index 0000000..ff4044d --- /dev/null +++ b/Config.mk.sample @@ -0,0 +1,2 @@ + +PHANTOM_EXE ?= $(shell which phantomjs 2>/dev/null) |