diff options
Diffstat (limited to 'utils/jenkins-build.sh')
-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 ################## |