diff options
Diffstat (limited to 'bin/reproducible_nodes_info.sh')
| -rwxr-xr-x | bin/reproducible_nodes_info.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_nodes_info.sh b/bin/reproducible_nodes_info.sh index 6dc49214..4015b6e2 100755 --- a/bin/reproducible_nodes_info.sh +++ b/bin/reproducible_nodes_info.sh @@ -15,7 +15,7 @@ mkdir -p $TARGET_DIR TMPFILE_SRC=$(mktemp) TMPFILE_NODE=$(mktemp) -for NODE in $BUILD_NODES ; do +for NODE in $BUILD_NODES jenkins.debian.net ; do if [ "$NODE" = "jenkins.debian.net" ] ; then echo "$(date -u) - Trying to update $TARGET_DIR/$NODE." /srv/jenkins/bin/reproducible_info.sh > $TARGET_DIR/$NODE |