summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2021-06-12 13:08:06 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2021-06-12 13:08:06 +0000
commitf10e21fab3681da3a34d654669acf8513bff66b5 (patch)
tree401d3897b9c019eff2d586559ab99440518d7c69 /bin
parentUpdating. (diff)
downloadprogress-linux-tools-f10e21fab3681da3a34d654669acf8513bff66b5.tar.xz
progress-linux-tools-f10e21fab3681da3a34d654669acf8513bff66b5.zip
Updating.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'bin')
-rwxr-xr-xbin/pbuild.sh10
1 files changed, 5 insertions, 5 deletions
diff --git a/bin/pbuild.sh b/bin/pbuild.sh
index 7f88118..69d379e 100755
--- a/bin/pbuild.sh
+++ b/bin/pbuild.sh
@@ -247,20 +247,20 @@ do
mv "${TARGET}" "${TARGET}-${UPSTREAM_VERSION}"
- for DISTRIBUTION in engywuck fuchur
+ for DIST in engywuck fuchur
do
if [ ! -e "${TARGET}_${UPSTREAM_VERSION}.orig.tar.xz" ]
then
- wget ${SERVER}/archive/$(echo ${DISTRIBUTION} | cut -d- -f 1)/${PACKAGE}/orig/${TARGET}_${UPSTREAM_VERSION}.orig.tar.xz || true
+ wget ${SERVER}/archive/${DIST}/${PACKAGE}/orig/${TARGET}_${UPSTREAM_VERSION}.orig.tar.xz || true
if [ ! -e ${TARGET}_${UPSTREAM_VERSION}.orig.tar.xz ]
then
- wget ${SERVER}/archive/$(echo ${DISTRIBUTION} | cut -d- -f 1)-backports/${PACKAGE}/orig/${TARGET}_${UPSTREAM_VERSION}.orig.tar.xz || true
+ wget ${SERVER}/archive/${DIST}-backports/${PACKAGE}/orig/${TARGET}_${UPSTREAM_VERSION}.orig.tar.xz || true
if [ ! -e ${TARGET}_${UPSTREAM_VERSION}.orig.tar.xz ]
then
- wget ${SERVER}/archive/$(echo ${DISTRIBUTION} | cut -d- -f 1)-extras/${PACKAGE}/orig/${TARGET}_${UPSTREAM_VERSION}.orig.tar.xz || true
+ wget ${SERVER}/archive/${DIST}-extras/${PACKAGE}/orig/${TARGET}_${UPSTREAM_VERSION}.orig.tar.xz || true
if [ ! -e ${TARGET}_${UPSTREAM_VERSION}.orig.tar.xz ]
then
- wget ${SERVER}/archive/$(echo ${DISTRIBUTION} | cut -d- -f 1)-backports-extras/${PACKAGE}/orig/${TARGET}_${UPSTREAM_VERSION}.orig.tar.xz || true
+ wget ${SERVER}/archive/${DIST}-backports-extras/${PACKAGE}/orig/${TARGET}_${UPSTREAM_VERSION}.orig.tar.xz || true
fi
fi
fi