diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-12-11 14:14:49 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-12-11 14:14:49 +0100 |
commit | 07e9247b6c175f1353fcd78859af1d974a97dbd5 (patch) | |
tree | 863f4a35088c8ff86b45f8368d3d68314c5b5a23 /bin | |
parent | ac4e669fb3e393bd98c73905375693ef19969d5a (diff) | |
download | jenkins.debian.net-07e9247b6c175f1353fcd78859af1d974a97dbd5.tar.xz |
reproducible archlinux: rebuild all of 'core' every week, rebuild all of 'extra' every month
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_build_archlinux_pkg.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/bin/reproducible_build_archlinux_pkg.sh b/bin/reproducible_build_archlinux_pkg.sh index f1d7a503..eb0d8ad1 100755 --- a/bin/reproducible_build_archlinux_pkg.sh +++ b/bin/reproducible_build_archlinux_pkg.sh @@ -56,9 +56,15 @@ choose_package() { schroot --end-session -c $SESSION rm $DUMMY > /dev/null for REPOSITORY in core extra ; do + case $REPOSITORY in + core) MIN_AGE=6 + ;; + extra) MIN_AGE=27 + ;; + esac for PKG in $(cat ${ARCHLINUX_PKGS}_$REPOSITORY) ; do - # build package if it has never build or at least a week ago - if [ ! -d $BASE/archlinux/$REPOSITORY/$PKG ] || [ ! -z $(find $BASE/archlinux/$REPOSITORY/ -name $PKG -mtime +6) ] ; then + # build package if it has never build or at least $MIN_AGE days ago + if [ ! -d $BASE/archlinux/$REPOSITORY/$PKG ] || [ ! -z $(find $BASE/archlinux/$REPOSITORY/ -name $PKG -mtime +$MIN_AGE) ] ; then SRCPACKAGE=$PKG echo "$(date -u ) - building package $PKG from '$REPOSITORY' now..." # very simple locking… |