summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index efa7f13719..213c925963 100644
--- a/Makefile
+++ b/Makefile
@@ -280,6 +280,9 @@ distclean:
-rm -f *.o *.a .depend configure.log
@for a in $(PARTS); do $(MAKE) -C $$a distclean; done
+strip:
+ strip -s $(ALL_PRG)
+
dep: depend
depend: