diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-12-17 19:39:20 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-12-17 19:39:20 +0100 |
commit | aac25568d86b95872e4620ca2412f26072d28972 (patch) | |
tree | aa62f74ed1de58d8dfc95d56c0924758377ddb7b | |
parent | c89d6d8cc43ba2a5cec7f8089828e6eea533a813 (diff) | |
download | jenkins.debian.net-aac25568d86b95872e4620ca2412f26072d28972.tar.xz |
reproducible archlinux+rpms: remove useless usage of cat, build rpms in random order
-rwxr-xr-x | bin/reproducible_build_archlinux_pkg.sh | 4 | ||||
-rwxr-xr-x | bin/reproducible_build_rpm.sh | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/bin/reproducible_build_archlinux_pkg.sh b/bin/reproducible_build_archlinux_pkg.sh index 17c53c03..9bd92818 100755 --- a/bin/reproducible_build_archlinux_pkg.sh +++ b/bin/reproducible_build_archlinux_pkg.sh @@ -55,7 +55,7 @@ update_archlinux_repositories() { for REPO in $ARCHLINUX_REPOS ; do if [ ! -f ${ARCHLINUX_PKGS}_$REPO ] || [ $DUMMY -nt ${ARCHLINUX_PKGS}_$REPO ] ; then echo "$(date -u ) - updating list of available packages in repository '$REPO'." - schroot --run-session -c $SESSION --directory /var/abs/$REPO -- ls -1|sort -R|xargs echo > ${ARCHLINUX_PKGS}_$REPO + schroot --run-session -c $SESSION --directory /var/abs/$REPO -- ls -1|sort -u|xargs echo > ${ARCHLINUX_PKGS}_$REPO echo "$(date -u ) - these packages in repository '$REPO' are known to us:" cat ${ARCHLINUX_PKGS}_$REPO fi @@ -84,7 +84,7 @@ choose_package() { ;; esac touch -d "$(date -d '$MIN_AGE days ago' '+%Y-%m-%d') 00:00 UTC" $DUMMY - for PKG in $(cat ${ARCHLINUX_PKGS}_$REPO) ; do + for PKG in $(sort -R ${ARCHLINUX_PKGS}_$REPO) ; do # build package if it has never build or at least $MIN_AGE days ago if [ ! -d $BASE/archlinux/$REPO/$PKG ] || [ $DUMMY -nt $BASE/archlinux/$REPO/$PKG ] ; then REPOSITORY=$REPO diff --git a/bin/reproducible_build_rpm.sh b/bin/reproducible_build_rpm.sh index 64c7bbd5..e73a2452 100755 --- a/bin/reproducible_build_rpm.sh +++ b/bin/reproducible_build_rpm.sh @@ -71,7 +71,7 @@ choose_package() { fi echo "$(date -u ) - choosing package to be build." local PKG="" - for PKG in $(cat ${RPM_PKGS}_$RELEASE) ; do + for PKG in $(sort -R ${RPM_PKGS}_$RELEASE) ; do # build package if it has never build or at least $MIN_AGE days ago if [ ! -d $BASE/rpms/$RELEASE/$ARCH/$PKG ] || [ $DUMMY -nt $BASE/rpms/$RELEASE/$ARCH/$PKG ] ; then SRCPACKAGE=$PKG |