diff options
-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 |