Merge branch 'develop'

[nncp.git] / install-strip.do

diff --git a/install-strip.do b/install-strip.do
deleted file mode 100644 (file)
index 63b442e..0000000
--- a/install-strip.do
+++ /dev/null
@@ -1,5 +0,0 @@
-redo-ifchange config install
-. ./config
-for cmd in `cat bin/cmd.list` ; do
-    strip $BINDIR/$cmd
-done