diff options
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/plugins/Makefile b/plugins/Makefile index 26d3047..a87e798 100644 --- a/plugins/Makefile +++ b/plugins/Makefile @@ -13,15 +13,13 @@ SO_FLAGS += -fPIC TARGET = $(PLUGINNAME)/$(PLUGINNAME).$(SO_EXT) -.PHONY: all clean remake warning +.PHONY: all clean warning all: warning $(TARGET) clean: warning rm -rf $(TARGET) $(PLUGINNAME)/*.{o,dSYM} -remake: clean all - warning: ifndef PLUGINNAME $(error "PLUGINNAME not set! Please run root Makefile instead.") |