summaryrefslogtreecommitdiff
path: root/utils/jenkins-build.sh
diff options
context:
space:
mode:
Diffstat (limited to 'utils/jenkins-build.sh')
-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 ##################