diff options
Diffstat (limited to 'main/highlight/lua5.1-compat.patch')
| -rw-r--r-- | main/highlight/lua5.1-compat.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/main/highlight/lua5.1-compat.patch b/main/highlight/lua5.1-compat.patch deleted file mode 100644 index 8fe59e9fb2..0000000000 --- a/main/highlight/lua5.1-compat.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/src/makefile -+++ b/src/makefile -@@ -38,7 +38,7 @@ - # - remove -DUSE_LUA52 - # - use lua5.1 in the pkg-config calls - --LUA_CFLAGS=$(shell pkg-config --cflags lua) -DUSE_LUA52 -+LUA_CFLAGS=$(shell pkg-config --cflags lua) - - # default lua lib - LUA_LIBS=$(shell pkg-config --libs lua) |