diff options
author | Vincent Sanders <vince@kyllikki.org> | 2018-08-15 16:52:54 +0100 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2018-08-15 16:52:54 +0100 |
commit | 7d22759f5ee22c839b943455369fa270dd884753 (patch) | |
tree | 586b0bc233bb2c82f467fd677308c6b247c7f038 | |
parent | c1fb25e0746e02a2252d65f8ac5e46824c6d446c (diff) | |
download | netsurf-7d22759f5ee22c839b943455369fa270dd884753.tar.gz netsurf-7d22759f5ee22c839b943455369fa270dd884753.tar.bz2 |
display some system and environment values in CI build script
-rwxr-xr-x | utils/jenkins-build.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh index c561cea51..1495a3ec9 100755 --- a/utils/jenkins-build.sh +++ b/utils/jenkins-build.sh @@ -418,6 +418,11 @@ cat > Makefile.config <<EOF override NETSURF_LOG_LEVEL := DEBUG EOF +########### Additional environment info ######## + +set +uname -a + ########### Build from source ################## # Clean first |