diff options
Diffstat (limited to 'misc/scripts/validate_extension_api.sh')
| -rwxr-xr-x | misc/scripts/validate_extension_api.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/misc/scripts/validate_extension_api.sh b/misc/scripts/validate_extension_api.sh index cde7a8574d..88c5d82374 100755 --- a/misc/scripts/validate_extension_api.sh +++ b/misc/scripts/validate_extension_api.sh @@ -8,6 +8,7 @@ fi if [ $# != 1 ]; then echo "Usage: @0 <path-to-godot-executable>" + exit 1 fi api_validation_dir="$( dirname -- "$( dirname -- "${BASH_SOURCE[0]//\.\//}" )" )/extension_api_validation/" |