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 |