summaryrefslogtreecommitdiff
path: root/jenkins.sh
diff options
context:
space:
mode:
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-xjenkins.sh7
1 files changed, 7 insertions, 0 deletions
diff --git a/jenkins.sh b/jenkins.sh
index 4a0e9c4b..0e1b0ee3 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -303,6 +303,13 @@ if test x"${debug}" = x"true"; then
export CONFIG_SHELL="/bin/bash -x"
fi
+# Print some information about the build machine
+echo Running on `hostname`
+uname -a
+lsb_release -a
+cat /proc/cpuinfo
+cat /proc/meminfo
+
$CONFIG_SHELL ${abe_dir}/configure --with-local-snapshots=${user_snapshots} --with-git-reference-dir=${git_reference} --with-languages=${languages} --enable-schroot-test --with-fileserver=${fileserver}
# Reduce parallelism of individual builds in Cambridge lab to try reduce