aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorEgor Tensin <egor@tensin.name>2026-09-28 17:03:19 +0500
committerEgor Tensin <egor@tensin.name>2026-09-28 17:03:19 +0500
commit4baa9a0a765fc63cc6a0303bcaeb042dc62fedea (patch)
tree6850ac3e96f70bd5a5d1a6456883ef1fce4a6c5b
parentremove annoying trailing period from repo URLs (diff)
downloadmath-server-4baa9a0a765fc63cc6a0303bcaeb042dc62fedea.tar.gz
math-server-4baa9a0a765fc63cc6a0303bcaeb042dc62fedea.zip
consistent prelude.mk
Diffstat (limited to '')
-rw-r--r--Makefile3
-rw-r--r--prelude.mk8
2 files changed, 7 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 237379b..60f05e7 100644
--- a/Makefile
+++ b/Makefile
@@ -23,9 +23,6 @@ $(eval $(call noexpand,BOOST_VERSION))
$(eval $(call noexpand,CMAKE_FLAGS))
$(eval $(call noexpand,INSTALL_PREFIX))
-.PHONY: DO
-DO:
-
.PHONY: all
all: build
diff --git a/prelude.mk b/prelude.mk
index 374111e..e0862a5 100644
--- a/prelude.mk
+++ b/prelude.mk
@@ -1,4 +1,4 @@
-# Please see https://egort.name/blog/notes/makefile.html
+# Please see https://tensin.name/blog/notes/makefile.html
MAKEFLAGS += --no-builtin-rules --no-builtin-variables --warn-undefined-variables
unexport MAKEFLAGS
@@ -21,3 +21,9 @@ ifeq ($$(origin $(1)),command line)
override $(1) := $$(value $(1))
endif
endef
+
+# A helper target to force execution of pattern rules (works like .PHONY for
+# them): https://www.gnu.org/software/make/manual/html_node/Phony-Targets.html
+#
+.PHONY: DO
+DO: