diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2013-06-11 10:09:59 -0400 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2013-06-11 10:10:14 -0400 |
commit | 337581c040eb942a0dc81c8fb483ac28f5a8e38a (patch) | |
tree | d988a516b65564c048ffda1f1f7b03d1518b9619 /man | |
parent | e55e800a4cfd1a6e7d590d38b81dde6f04ad814f (diff) | |
download | faketime-ng-337581c040eb942a0dc81c8fb483ac28f5a8e38a.tar.gz |
allow overriding specific arguments without changing the Makefile
for example, now you can do:
make PREFIX=/usr
without any modification to the Makefile and have it behave as
intended.
Diffstat (limited to 'man')
-rw-r--r-- | man/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man/Makefile b/man/Makefile index 322d2f6..807c157 100644 --- a/man/Makefile +++ b/man/Makefile @@ -1,6 +1,6 @@ -INSTALL = install +INSTALL ?= install -PREFIX = /usr/local +PREFIX ?= /usr/local all: |