Finished the conversion to pure C.

[selector.git] / mkdeb.sh

diff --git a/mkdeb.sh b/mkdeb.sh
index 44df3dc..de57519 100755 (executable)
--- 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