diff options
author | Karl Berry <karl@freefriends.org> | 2018-10-02 01:55:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-10-02 01:55:09 +0000 |
commit | 004c95023bb585a175feaa17b8cb16997e9999a4 (patch) | |
tree | ce15fea0b4f0a049c2cddb03648dd3eef6402ad9 /Build/source/Build | |
parent | 21b7b9f3aebd72f1caca5d8b37e03d689918e908 (diff) |
make VERBOSE=1 by default so that test-suite.log is shown on stdout on failure
git-svn-id: svn://tug.org/texlive/trunk@48808 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-x | Build/source/Build | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/Build b/Build/source/Build index 9229199890d..3189b44167d 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -43,6 +43,7 @@ export MAKE # make flags : ${TL_MAKE_FLAGS=} +: ${TL_MAKE_VERBOSE=VERBOSE=1} # allow override of make target. : ${TL_TARGET=world} @@ -127,7 +128,7 @@ cd $TL_WORKDIR || exit 1 $TL_CONFIGURE_ARGS \ "$@" \ && eval $TL_POSTCONFIGURE \ - && eval $TL_BUILD_ENV $TL_MAKE $TL_MAKE_FLAGS $TL_TARGET + && eval $TL_BUILD_ENV $TL_MAKE $TL_MAKE_FLAGS $TL_MAKE_VERBOSE $TL_TARGET # Too arcane to try to propagate the exit status through a pipeline. # Just use a temp file. |