diff options
| -rw-r--r-- | meta.lua | 6 |
1 files changed, 1 insertions, 5 deletions
| @@ -1,19 +1,15 @@ | |||
| 1 | local lua_versions = { | 1 | local lua_versions = { |
| 2 | ["51"] = true, | 2 | ["51"] = true, |
| 3 | --[[ | ||
| 4 | ["52"] = true, | 3 | ["52"] = true, |
| 5 | ["53"] = true, | 4 | ["53"] = true, |
| 6 | ["54"] = true, | 5 | ["54"] = true, |
| 7 | ]] | ||
| 8 | } | 6 | } |
| 9 | local optimizations = { | 7 | local optimizations = { |
| 10 | --tiny = "-Oz", | 8 | tiny = "-Oz", |
| 11 | --[[ | ||
| 12 | size = "-Os", | 9 | size = "-Os", |
| 13 | zero = "-O0", | 10 | zero = "-O0", |
| 14 | one = "-O1", | 11 | one = "-O1", |
| 15 | two = "-O2", | 12 | two = "-O2", |
| 16 | ]] | ||
| 17 | three = "-O3", | 13 | three = "-O3", |
| 18 | } | 14 | } |
| 19 | local debug = { | 15 | local debug = { |
