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 = { |