From 3c5b15ec26a95e9c16beb5cc850692934a7fe687 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Tue, 26 Jan 2016 22:35:51 +0100 Subject: reproducible Arch Linux: spell the project --- bin/reproducible_common.sh | 2 +- bin/reproducible_html_packages.py | 2 +- bin/reproducible_maintenance.sh | 8 ++++---- 3 files changed, 6 insertions(+), 6 deletions(-) (limited to 'bin') diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index d0b4d6ad..ba31f14c 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -55,7 +55,7 @@ BUILD_ENV_VARS="ARCH NUM_CPU CPU_MODEL DATETIME KERNEL1 KERNEL2" # these also ne # existing usertags in the Debian BTS USERTAGS="toolchain infrastructure timestamps fileordering buildpath username hostname uname randomness buildinfo cpu signatures environment umask ftbfs locale" -# common settings for testing Archlinux +# common settings for testing Arch Linux ARCHLINUX_BUILD_NODE=profitbricks-build3-amd64 ARCHLINUX_REPOS="core extra multilib community" ARCHLINUX_PKGS=/srv/reproducible-results/.archlinux_pkgs diff --git a/bin/reproducible_html_packages.py b/bin/reproducible_html_packages.py index 151fcd91..fc59f3e1 100755 --- a/bin/reproducible_html_packages.py +++ b/bin/reproducible_html_packages.py @@ -50,7 +50,7 @@ ${suites_links} Reproducible Debian - Wiki
Reproducible-builds.org - HowTo
Reproducible-builds.org
- Reproducible Archlinux / + Reproducible Arch Linux / coreboot / Fedora / FreeBSD / diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index acf00556..d7350e08 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -99,17 +99,17 @@ for s in $SUITES ; do done set -e -# for Archlinux +# for Arch Linux set +e if [ "$HOSTNAME" = "${ARCHLINUX_BUILD_NODE}" ] ; then - echo "$(date -u) - updating Archlinux schroot now." + echo "$(date -u) - updating Arch Linux schroot now." schroot --directory /tmp -c source:jenkins-reproducible-archlinux -u root -- pacman -Syu --noconfirm RESULT=$? if [ $RESULT -eq 1 ] ; then - echo "Warning: failed to update Archlinux schroot." + echo "Warning: failed to update Arch Linux schroot." DIRTY=true else - echo "$(date -u) - updating Archlinux schroot done." + echo "$(date -u) - updating Arch Linux schroot done." fi fi set -e -- cgit v1.2.3-70-g09d2