diff options
| -rwxr-xr-x | makedist | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -156,7 +156,7 @@ if [ "$1" = "binary" ] | |||
| 156 | then | 156 | then |
| 157 | shift | 157 | shift |
| 158 | 158 | ||
| 159 | ./configure | 159 | ./configure --lua-version=5.3 |
| 160 | 160 | ||
| 161 | make binary | 161 | make binary |
| 162 | cd build-binary | 162 | cd build-binary |
