X-Git-Url: https://www.fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=mkdeb.sh;h=de57519892c9e7da4df8fbf65ab11a4e4b732b58;hb=121d07099a627160ebfdbd1adfd16c8de296065c;hp=d96e7aeb5a2b5f009825ecba05471f5644717c09;hpb=77463aef0ca72546b60b9f5350012a280ed652a5;p=selector.git

diff --git a/mkdeb.sh b/mkdeb.sh
index d96e7ae..de57519 100755
--- 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