diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 07:39:54 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 07:39:54 +0000 |
| commit | c1833ee6d25c57d5d5baa2693dc8b89708fa5170 (patch) | |
| tree | a9e0a0df29917428cc4da2ff6d02d286a5f5db0e | |
| parent | Updating. (diff) | |
| download | progress-linux-tools-c1833ee6d25c57d5d5baa2693dc8b89708fa5170.tar.xz progress-linux-tools-c1833ee6d25c57d5d5baa2693dc8b89708fa5170.zip | |
Updating.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
| -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 |