From dcdc919c5f51c3a511f900e72fc59379ebbc6941 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 22 Nov 2013 17:15:20 +0000 Subject: [PATCH] lua: Don't redefine lua_objlen if already defined. lua 5.2.2 seems to define this symbol already. (cherry picked from commit 5ee193433a46d205e181bc51080e15f696bbda1a) --- generator/lua.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/generator/lua.ml b/generator/lua.ml index 8e735c99a..188490a65 100644 --- a/generator/lua.ml +++ b/generator/lua.ml @@ -49,8 +49,10 @@ let generate_lua_c () = #include #if LUA_VERSION_NUM >= 502 +#ifndef lua_objlen #define lua_objlen lua_rawlen #endif +#endif #include #include \"guestfs-internal-frontend.h\"