diff options
author | Tom Smeding <tom.smeding@gmail.com> | 2020-07-13 19:30:46 +0200 |
---|---|---|
committer | Tom Smeding <tom.smeding@gmail.com> | 2020-07-13 19:30:46 +0200 |
commit | 13fd277b4a7090e47d351005db6a3dbadb66a0d0 (patch) | |
tree | aa2622760152cc996ae38f4aefe5f6be2c3583d9 /plugins | |
parent | b5f5fdefbbee3ae75bb032774263885c46d63a7f (diff) |
Remove 'remake' target from makefiles
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.") |