aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Chris Xiong <chirs241097@gmail.com> 2018-01-29 22:16:56 +0800
committerGravatar Chris Xiong <chirs241097@gmail.com> 2018-01-29 22:16:56 +0800
commit6f955e10a71e364f527ea654156ea83785e9ada8 (patch)
treeddfe9521487209c72ee63560743b0ec6c5a82737
parent123771f6b50550d35ba3f6d7c87e240686c23703 (diff)
downloadSMELT-6f955e10a71e364f527ea654156ea83785e9ada8.tar.xz
No need for make -B anymore.
-rw-r--r--makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/makefile b/makefile
index 22ab9ba..a239e5d 100644
--- a/makefile
+++ b/makefile
@@ -1,4 +1,5 @@
MAKE= make -B -C
+.PHONY: smelt core extensions
all: smelt
smelt: core extensions
core: