projects
/
selector.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector
[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.
# 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
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
make -j -k || exit 1
+strip selector
+
TMP=`mktemp -d /tmp/deb.XXXXXX`
for d in DEBIAN ${BIN_PATH} ${MAN_PATH}; do
TMP=`mktemp -d /tmp/deb.XXXXXX`
for d in DEBIAN ${BIN_PATH} ${MAN_PATH}; do