diff options
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile index 50b7247..6ff0da1 100644 --- a/Makefile +++ b/Makefile @@ -1,9 +1,9 @@ ALL=extrace pwait -CFLAGS=-g -O2 -Wall -Wno-switch -Wextra -Wwrite-strings -pedantic -ansi +CFLAGS?=-g -O2 -Wall -Wno-switch -Wextra -Wwrite-strings -pedantic -ansi DESTDIR= -PREFIX=/usr/local +PREFIX?=/usr/local BINDIR=$(PREFIX)/bin MANDIR=$(PREFIX)/share/man |