diff options
-rwxr-xr-x | makedist | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -150,7 +150,7 @@ if [ "$1" = "binary" ] | |||
150 | then | 150 | then |
151 | shift | 151 | shift |
152 | 152 | ||
153 | ./configure --lua-version=5.3 | 153 | ./configure --lua-version=5.4 |
154 | 154 | ||
155 | make binary | 155 | make binary |
156 | cd build-binary | 156 | cd build-binary |