summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index eab0e3e..27ed0c3 100644
--- a/Makefile
+++ b/Makefile
@@ -9,12 +9,15 @@
# Currently depends on GNU make, because:
# - the Makefile uses GNU ifdef / ifndef commands and GNU make `%'
# pattern rules
+# - we use .PHONY
prefix=/usr/local
exec_prefix=$(prefix)
bindir=$(exec_prefix)/bin
INSTALL=install -c
+.PHONY: all install clean spotless topclean release
+
ifdef RELEASE
ifndef VERSION
VERSION := $(RELEASE)