diff options
| -rwxr-xr-x | bin/pbuild.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/bin/pbuild.sh b/bin/pbuild.sh index 4d5c847..1c8e538 100755 --- a/bin/pbuild.sh +++ b/bin/pbuild.sh @@ -310,7 +310,14 @@ do binary*) rm -f /tmp/control - CONTROL="${REPOSITORY}/plain/debian/control" + + if [ -n "${TAG}" ] + then + CONTROL="${REPOSITORY}/plain/debian/control?h=${TAG}" + else + CONTROL="${REPOSITORY}/plain/debian/control" + fi + wget -q ${CONTROL} -O /tmp/control case "${BUILD}" in |