Added the stripping of the binary.
authorFrancois Fleuret <francois@fleuret.org>
Tue, 9 Jun 2009 14:58:31 +0000 (16:58 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Tue, 9 Jun 2009 14:58:31 +0000 (16:58 +0200)
mkdeb.sh

index d96e7ae..de57519 100755 (executable)
--- a/mkdeb.sh
+++ b/mkdeb.sh
@@ -35,6 +35,8 @@ MAN_PATH="usr/share/man/man1"
 
 make -j -k || exit 1
 
+strip selector
+
 TMP=`mktemp -d /tmp/deb.XXXXXX`
 
 for d in DEBIAN ${BIN_PATH} ${MAN_PATH}; do