summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 1 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 32cc06fc45..bc13902034 100644
--- a/Makefile
+++ b/Makefile
@@ -874,8 +874,6 @@ doxygen:
doxygen_clean:
-rm -rf DOCS/tech/doxygen
-strip:
- strip -s $(ALL_PRG-yes)
TAGS:
rm -f $@; ( find -name '*.[chS]' -print ) | xargs etags -a
@@ -979,5 +977,5 @@ toolsclean:
-include $(DEPS)
-.PHONY: all doxygen *install* recurse strip *tools
+.PHONY: all doxygen *install* recurse *tools
.PHONY: checkheaders *clean dep depend tests