|
Revision 1c72b25e1ee042e2a8e8a16eec7239c98e6cd892, 343 bytes
(checked in by Brandon Philips <brandon.philips@rackspace.com>, 2 years ago)
|
pkg: fix up debian package to actually work
A number of changes have left the debian package broken including the
javalibdir changes and version bumps. Fix these minor issues.
Then I also automated the version number creation so that every time you
call pkg/build-debian.sh it generates a new version number if the HEAD
has moved. It is a little hacky but solves the version bumping issue for
now.
|
- Property mode set to
100755
|
| Line | |
|---|
| 1 |
#!/bin/sh |
|---|
| 2 |
|
|---|
| 3 |
set -e |
|---|
| 4 |
|
|---|
| 5 |
ln -sf pkg/debian debian |
|---|
| 6 |
|
|---|
| 7 |
HEADFILE="pkg/HEAD" |
|---|
| 8 |
HEAD=`git log -1 HEAD --pretty=%h` |
|---|
| 9 |
[ -f $HEADFILE ] && OLDHEAD=`cat $HEADFILE` |
|---|
| 10 |
|
|---|
| 11 |
if [ "x$HEAD" != "x$OLDHEAD" ]; then |
|---|
| 12 |
dch -v `date +"%Y%m%d%H%M%S"` "HEAD `git log -1 HEAD --abbrev-commit --pretty=oneline`" |
|---|
| 13 |
echo $HEAD > $HEADFILE |
|---|
| 14 |
fi |
|---|
| 15 |
|
|---|
| 16 |
dpkg-buildpackage -rfakeroot -tc |
|---|
| 17 |
|
|---|
| 18 |
rm debian |
|---|
