diff options
| author | Norbert Preining <preining@logic.at> | 2019-06-27 00:06:35 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2019-06-27 00:06:35 +0000 |
| commit | cc912630e4592227bef3c67146383be98fbcebe5 (patch) | |
| tree | 61130c361a7d92a10d9820a2599aa4cda4a20232 /Build/source | |
| parent | a741d30cc49110e9f66a49c1ae2cc68f15dd2960 (diff) | |
fix TL_TRGTE type in Build, thanks to github user svenper
git-svn-id: svn://tug.org/texlive/trunk@51486 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
| -rwxr-xr-x | Build/source/Build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/Build b/Build/source/Build index 42f68528535..a197e1f21f0 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -49,7 +49,7 @@ export MAKE; export TL_MAKE : ${TL_MAKE_VERBOSE=VERBOSE=1}; export TL_MAKE_VERBOSE # allow override of make target. -: ${TL_TARGET=world}; export TL_TARGTE +: ${TL_TARGET=world}; export TL_TARGET if test "x$1" = x--no-clean; then shift |