summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Silverstone <dsilvers@digital-scurf.org>2018-07-28 14:10:26 +0100
committerDaniel Silverstone <dsilvers@digital-scurf.org>2018-07-28 14:10:26 +0100
commit527541ddbda27d330fa3f87533cea80314f974a7 (patch)
tree218e1a90a072317d1769b4a601735a34eee6c850
parent3d20a3974c62a284325f8e6f12b7fbb50b4607b7 (diff)
downloadnetsurf-527541ddbda27d330fa3f87533cea80314f974a7.tar.gz
netsurf-527541ddbda27d330fa3f87533cea80314f974a7.tar.bz2
Make CI NetSurf builds compile in DEBUG level logging
-rwxr-xr-xutils/jenkins-build.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh
index 6fd6a777a..de6c25944 100755
--- a/utils/jenkins-build.sh
+++ b/utils/jenkins-build.sh
@@ -411,6 +411,12 @@ if [ ${HAVE_DISTCC} = "true" ];then
fi
+########### Prepare a Makefile.config ##################
+
+rm -f Makefile.config
+cat > Makefile.config <<EOF
+override NETSURF_LOG_LEVEL := DEBUG
+EOF
########### Build from source ##################