diff options
author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2018-07-28 14:10:26 +0100 |
---|---|---|
committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2018-07-28 14:10:26 +0100 |
commit | 527541ddbda27d330fa3f87533cea80314f974a7 (patch) | |
tree | 218e1a90a072317d1769b4a601735a34eee6c850 | |
parent | 3d20a3974c62a284325f8e6f12b7fbb50b4607b7 (diff) | |
download | netsurf-527541ddbda27d330fa3f87533cea80314f974a7.tar.gz netsurf-527541ddbda27d330fa3f87533cea80314f974a7.tar.bz2 |
Make CI NetSurf builds compile in DEBUG level logging
-rwxr-xr-x | utils/jenkins-build.sh | 6 |
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 ################## |