X-Git-Url: https://www.fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=mkdeb.sh;h=de57519892c9e7da4df8fbf65ab11a4e4b732b58;hb=44daf3690e6e2c547731ff02eea3ca65df1f2d00;hp=44df3dc7abf68380da490646b95d3db4d139227d;hpb=b72e53a3b3e5e56d7fae39203e83dc58d8fe7d45;p=selector.git

diff --git a/mkdeb.sh b/mkdeb.sh
index 44df3dc..de57519 100755
--- a/mkdeb.sh
+++ b/mkdeb.sh
@@ -25,6 +25,8 @@
 # This script creates the Debian package. The way it does it is
 # probably not very conventional. I am open to suggestions.
 
+set -e
+
 VERSION=1.0-R$(cat REVISION_NUMBER)
 PACKAGE=/tmp/selector_${VERSION}_i386.deb
 
@@ -33,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