diff options
author | Karl Berry <karl@freefriends.org> | 2014-04-21 00:17:48 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-04-21 00:17:48 +0000 |
commit | 1df297d584d71161b479472d60d102e11fd9b2c7 (patch) | |
tree | e1545ef95b66a0a1856579fde19b3ca1069ccd9c /Master/tlpkg/TeXLive | |
parent | fae622b32d248acd0eefefeb6990fef5e5da816c (diff) |
allow for luajittex not available on all platforms
git-svn-id: svn://tug.org/texlive/trunk@33571 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/TeXLive')
-rw-r--r-- | Master/tlpkg/TeXLive/TLConfig.pm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/tlpkg/TeXLive/TLConfig.pm b/Master/tlpkg/TeXLive/TLConfig.pm index 88c3ad5af04..ac218a2063e 100644 --- a/Master/tlpkg/TeXLive/TLConfig.pm +++ b/Master/tlpkg/TeXLive/TLConfig.pm @@ -48,6 +48,7 @@ BEGIN { %TLPDBSettings %TLPDBConfigs $NetworkTimeout + $PartialEngineSupport ); @EXPORT = @EXPORT_OK; } @@ -191,7 +192,9 @@ our %TLPDBSettings = ( our $WindowsMainMenuName = "TeX Live $ReleaseYear"; -# +# Comma-separated list of engines which do not exist on all platforms. +our $PartialEngineSupport = "luajittex"; + # timeout for network connections (wget, LWP) in seconds our $NetworkTimeout = 30; |