diff options
author | Jonas Smedegaard <dr@jones.dk> | 2005-10-11 16:20:06 +0000 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2005-10-11 16:20:06 +0000 |
commit | 314d4f919c01c5d75c994b9d775c1789a320c7c9 (patch) | |
tree | c04f244c7a03ad3ab4528886a85be9f62e5dc9b0 | |
parent | a5681705a4df69f0134c7d94deb68de8f72fd263 (diff) |
Enhance script to handle debduild options - including -B which (due to a bug in pdebuild logic it seems) requires --use-pdebuild-internal .
-rwxr-xr-x | localpdebuild | 55 |
1 files changed, 50 insertions, 5 deletions
diff --git a/localpdebuild b/localpdebuild index 4842db9..3ff5a4c 100755 --- a/localpdebuild +++ b/localpdebuild @@ -1,18 +1,63 @@ #!/bin/sh -if [ $# -eq 0 ]; then - echo "Usage: $(basename $0) POOL" +set -e + +function showhelp() { + echo "Usage: $(basename $0) POOL [debbuildopts] [-- pbuilderopts]" echo "" - echo "Example: $(basename $0) sarge_with_hacks" + echo "Example: $(basename $0) sarge_with_hacks -B" +} + +if [ $# -eq 0 ]; then + showhelp exit 1 fi buildhost=`hostname -s` -pool=$1 +pool=$1; shift + +pbuilderopts='' +pdebuildopts='' +debbuildopts='' +while [ $# -gt 0 ]; do + case $1 in + -h|--help) + showhelp + exit 0 + ;; + --) + shift + break + ;; + --*) + echo "ERROR: Unknown argument \"$1\"!" &>2 + showhelp + exit 1 + ;; + -B) + debbuildopts="$debbuildopts $1" + pdebuildopts="$pdebuildopts --use-pdebuild-internal" + shift + ;; + -*) + debbuildopts="$debbuildopts $1" + shift + ;; + *) + echo "ERROR: Unknown argument \"$1\"!" &>2 + showhelp + exit 1 + ;; + esac +done +pbuilderopts="$pbuilderopts $@" pdebuild \ --buildresult $HOME/pub/debian-$buildhost/pbuild-$pool/ \ + ${debbuildopts:+--debbuildopts $debbuildopts} \ + $pdebuildopts \ -- \ --basetgz /var/cache/pbuilder/base-$pool.tgz \ --buildplace /var/cache/pbuilder/build-$pool/ \ - --aptcache /var/cache/pbuilder/aptcache-$pool/ + --aptcache /var/cache/pbuilder/aptcache-$pool/ \ + $pbuilderopts |