From 7d22759f5ee22c839b943455369fa270dd884753 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Wed, 15 Aug 2018 16:52:54 +0100 Subject: display some system and environment values in CI build script --- utils/jenkins-build.sh | 5 +++++ 1 file changed, 5 insertions(+) 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 <