Print information about the build machine in jenkins.sh rather than ABE's configure.

This information is more useful in the case of builds started by Jenkins than
when started via the command line.

Change-Id: I00952a4c58fb2f28113d7e3e94a81001d3184c33

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