diff options
author | Vlad Glagolev | 2018-05-24 18:53:06 -0400 |
---|---|---|
committer | Vlad Glagolev | 2018-05-24 18:53:06 -0400 |
commit | 13f042b2c3c1f3b30f01d88edd6f99bdf4304a2e (patch) | |
tree | 52ddbdc2a08f5916020437b869db69be1dcff2a8 /lua-forge | |
parent | 051b98e5f740d2bde3f27a59fd8c7206311a803c (diff) |
tolua++: conditional Lua 5.2/5.3 support
Diffstat (limited to 'lua-forge')
-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 && |