X-Git-Url: https://www.fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=mkdeb.sh;h=de57519892c9e7da4df8fbf65ab11a4e4b732b58;hb=298604bb3dcb60332e37ae3b66b746bad249e1ca;hp=291c6774c13d0b9d5a3e7367d059ecf045e0fc61;hpb=6bfacc5594cad8647f454cc3aab15068663d7bbb;p=selector.git

diff --git a/mkdeb.sh b/mkdeb.sh
index 291c677..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,12 +35,16 @@ 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
     mkdir -p ${TMP}/${d}
 done
 
+mkdir -p debian/control
+
 LIB_DEPENDS=$(dpkg-shlibdeps -O ./selector | grep Depends | sed -e "s/^.*Depends=//")
 
 cat > ${TMP}/DEBIAN/control <<EOF