diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-09-26 14:00:03 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-09-26 14:00:03 +0200 |
commit | e8fb5c5fa5b4eacb4b2fd46164803bb6c2349e2a (patch) | |
tree | aadb8a7a698c5ab4c52e379195b46582c884fd40 /bin | |
parent | 716cb811c4805f0c60f07a8ae1b3538746c006af (diff) | |
download | jenkins.debian.net-e8fb5c5fa5b4eacb4b2fd46164803bb6c2349e2a.tar.xz |
reproducible: also collect kernel version from the nodes
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_common.sh | 2 | ||||
-rwxr-xr-x | bin/reproducible_info.sh | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 0faaad03..393029d3 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -46,7 +46,7 @@ ARCHS="armhf amd64" # define build nodes in use BUILD_NODES="profitbricks-build1-amd64.debian.net profitbricks-build2-amd64.debian.net wbq0-armhf-rb.debian.net cbxi4pro0-armhf-rb.debian.net bpi0-armhf-rb.debian.net hb0-armhf-rb.debian.net" # these also needs to be defined in bin/jenkins_master_wrapper.sh -BUILD_ENV_VARS="ARCH NUM_CPU CPU_MODEL DATETIME" # these also needs to be defined in bin/reproducible_info.sh +BUILD_ENV_VARS="ARCH NUM_CPU CPU_MODEL DATETIME KERNEL1 KERNEL2" # these also needs to be defined in bin/reproducible_info.sh # existing usertags USERTAGS="toolchain infrastructure timestamps fileordering buildpath username hostname uname randomness buildinfo cpu signatures environment umask ftbfs locale" diff --git a/bin/reproducible_info.sh b/bin/reproducible_info.sh index 3b66e6e5..ffd26584 100755 --- a/bin/reproducible_info.sh +++ b/bin/reproducible_info.sh @@ -12,7 +12,8 @@ ARCH=$(dpkg --print-architecture) NUM_CPU=$(grep -c '^processor' /proc/cpuinfo) CPU_MODEL=$(cat /proc/cpuinfo |grep "model name"|head -1|cut -d ":" -f2|xargs echo) DATETIME=$(date +'%Y-%m-%d %H:%M %Z') - +KERNEL1=$(uname -a) +KERNEL2=$(linux64 --uname-2.6 uname -a) for i in $BUILD_ENV_VARS ; do echo "$i=${!i}" done |