diff options
Diffstat (limited to 'Build')
-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 |