diff options
author | Vlad Glagolev | 2018-05-24 18:53:06 -0400 |
---|---|---|
committer | Vlad Glagolev | 2018-05-24 18:53:32 -0400 |
commit | 4cde24384838e60c5a36762c4323b79a88d73feb (patch) | |
tree | d745b19fe6341e8a07db194164f404e0019cde4b | |
parent | 9794db528befee07a039c1d2095cf779f34058ae (diff) |
tolua++: conditional Lua 5.2/5.3 support
(cherry picked from commit 13f042b2c3c1f3b30f01d88edd6f99bdf4304a2e)
-rwxr-xr-x | lua-forge/tolua++/PRE_BUILD | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lua-forge/tolua++/PRE_BUILD b/lua-forge/tolua++/PRE_BUILD index 8541f2a6de..77b65383ca 100755 --- a/lua-forge/tolua++/PRE_BUILD +++ b/lua-forge/tolua++/PRE_BUILD @@ -1,7 +1,9 @@ default_pre_build && cd "$SOURCE_DIRECTORY" && -patch -p0 < "${SPELL_DIRECTORY}/lua53.patch" && +if [ "$(get_spell_provider ${SPELL} LUA)" == "lua" ]; then + patch -p0 < "${SPELL_DIRECTORY}/lua53.patch" +fi && cp -v custom-5.1.py custom.py && |