Makefile: drop noise when no config is found

~/.mkimage/profiles.mk is useful but not requisite by any margin; no need to make noise trying to make it either.
2012-07-09 21:31:37 +03:00 · 2012-07-09 21:31:37 +03:00 · 698c5e314a
commit 698c5e314a
parent 7683532ea2
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -36,6 +36,9 @@ export NUM_TARGETS := $(words $(MAKECMDGOALS))
 # for pipefail
 SHELL = /bin/bash

+# don't even consider remaking a configuration file
+.PHONY: $(HOME)/.mkimage/profiles.mk
+
 # real targets need real work
 %:
 	@n=1; \