diff options
| -rwxr-xr-x | makedist | 5 |
1 files changed, 4 insertions, 1 deletions
| @@ -18,7 +18,10 @@ version=$1 | |||
| 18 | shift | 18 | shift |
| 19 | 19 | ||
| 20 | lua54dir=$1 | 20 | lua54dir=$1 |
| 21 | shift | 21 | shift || { |
| 22 | echo "Second argument must be the Lua 5.4 prefix." | ||
| 23 | exit 1 | ||
| 24 | } | ||
| 22 | 25 | ||
| 23 | if ! [ -d "$lua54dir" ] | 26 | if ! [ -d "$lua54dir" ] |
| 24 | then | 27 | then |
