From ca711550d1c24355890a75613d79a448bde227e1 Mon Sep 17 00:00:00 2001 From: Mattia Basaglia Date: Tue, 30 Oct 2018 10:04:59 +0000 Subject: [PATCH] Clean up the makefile --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8bceda5..b3d81f8 100644 --- a/Makefile +++ b/Makefile @@ -23,6 +23,8 @@ UNINSTALL_FILE=$(UNINSTALL_FILE) REMOVE_DIR=$(foreach d, $(1), [ -d $(d) ] && rmdir $(d) || true;) MAKE_DIR=mkdir -p +.SUFFIXES: + # NOTE: not .PONY :-P .PHONY: all show show_deps clean list random install uninstall touchput @@ -32,7 +34,6 @@ define rule_single_output $(OUT_DIR)/$(2)/$(1).$(2): | $(dir $(OUT_DIR)/$(2)/$(1)) $(OUT_DIR)/$(2)/$(1).$(2): $(call find_deps, $(1)) $(OUT_DIR)/$(2)/$(1).$(2): $(PONY_DIR)/$(1) -$(OUT_DIR)/$(2)/$(1).$(2): $(SCRIPT_INTERPRETER) $(SCRIPT_INTERPRETER) $(SCRIPT) -i $(PONY_DIR)/$(1) -o $(OUT_DIR)/$(2)/$(1).$(2) endef