diff options
author | Paul Sherwood <paul.sherwood@codethink.co.uk> | 2016-06-23 19:38:49 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-06-24 08:11:51 +0000 |
commit | 0d96f1994aaa9612dc2a40111686f869b984fb40 (patch) | |
tree | 1ba2ca1141cab4be0d1ded3eb2a850f07cbf5421 /strata/lua51 | |
parent | ee48478110a66eae138e8e04db3b22ad34f66661 (diff) | |
download | definitions-0d96f1994aaa9612dc2a40111686f869b984fb40.tar.gz |
Fix various names
Change-Id: Iae7c080ad957420ee73e55cf8738d470621fa144
Diffstat (limited to 'strata/lua51')
-rw-r--r-- | strata/lua51/lua51.morph | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/strata/lua51/lua51.morph b/strata/lua51/lua51.morph index 32aeb5c1..c8f7daa4 100644 --- a/strata/lua51/lua51.morph +++ b/strata/lua51/lua51.morph @@ -1,4 +1,4 @@ -name: lua +name: lua51 kind: chunk configure-commands: - sed -e 's/defined(LUA_USE_READLINE)/0/g' src/luaconf.h.orig >src/luaconf.h |