diff options
| -rw-r--r-- | midipix.env | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/midipix.env b/midipix.env index dd889f78..0582f9e9 100644 --- a/midipix.env +++ b/midipix.env @@ -114,7 +114,7 @@ DEFAULT_BUILD_VARS=" : ${DEFAULT_GITROOT_HEAD:=git://midipix.org}; : ${DEFAULT_MAKE_INSTALL_VNAME:=DESTDIR}; : ${DEFAULT_MAKEFLAGS_BUILD:=-j${DEFAULT_BUILD_CPUS}}; -: ${DEFAULT_MAKEFLAGS_VERBOSITY:="V=99"}; +: ${DEFAULT_MAKEFLAGS_VERBOSITY:="V=99 VERBOSE=1"}; : ${DEFAULT_GIT_ARGS:=""}; : ${DEFAULT_TIMESTAMP_FMT:="%Y/%m/%d %H:%M:%S"}; : ${DEFAULT_WGET_ARGS:="--no-check-certificate"}; |