diff options
| author | Uwe Kleine-König <uwe@kleine-koenig.org> | 2017-10-04 15:26:00 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-05 16:40:10 +0100 |
| commit | 295f6fa9ba94c51b7e8fa6494c5b31c476d2f85c (patch) | |
| tree | a329df8041e6fa64f41ec8b381adbd15620ba9aa | |
| parent | c408da27b1a4af23a3cea4fdc54fc41aec4b0f70 (diff) | |
| download | sparse-dev-295f6fa9ba94c51b7e8fa6494c5b31c476d2f85c.tar.gz | |
build: make PREFIX overwritable from the environment
This way I can just use
env PREFIX=/usr make install
on the command line to install sparse into the system.
Signed-off-by: Uwe Kleine-König <uwe@kleine-koenig.org>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -54,7 +54,7 @@ BASIC_CFLAGS += -Wp,-MD,$(@D)/.$(@F).d endif DESTDIR= -PREFIX=$(HOME) +PREFIX ?= $(HOME) BINDIR=$(PREFIX)/bin LIBDIR=$(PREFIX)/lib MANDIR=$(PREFIX)/share/man |