diff options
| author | Yuri Sizov <yuris@humnom.net> | 2023-09-06 14:49:27 +0200 |
|---|---|---|
| committer | Yuri Sizov <yuris@humnom.net> | 2023-09-06 14:49:27 +0200 |
| commit | 4ac6b648b46a912cc66de2c56183d9bca71bde45 (patch) | |
| tree | 166219785b9462aff874f57b93f5bcd947134ee5 /misc/scripts/validate_extension_api.sh | |
| parent | d2cc6897d426a645f7da407c5656e4a29a0de3c9 (diff) | |
| parent | e36bd595fa2f861ddc4766c5e2cf72aecd6d9a49 (diff) | |
| download | redot-engine-4ac6b648b46a912cc66de2c56183d9bca71bde45.tar.gz | |
Merge pull request #81337 from RedworkDE/ci-compat-fetch
CI: Compat checks: Make fetching the reference API more robust
Diffstat (limited to 'misc/scripts/validate_extension_api.sh')
| -rwxr-xr-x | misc/scripts/validate_extension_api.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/scripts/validate_extension_api.sh b/misc/scripts/validate_extension_api.sh index 75f03a7086..cde7a8574d 100755 --- a/misc/scripts/validate_extension_api.sh +++ b/misc/scripts/validate_extension_api.sh @@ -58,7 +58,7 @@ while read -r file; do get_expected_output "$file" # Download the reference extension_api.json - wget -qcO "$reference_file" "https://raw.githubusercontent.com/godotengine/godot-cpp/godot-$reference_tag/gdextension/extension_api.json" + wget -nv --retry-on-http-error=503 --tries=5 --timeout=60 -cO "$reference_file" "https://raw.githubusercontent.com/godotengine/godot-cpp/godot-$reference_tag/gdextension/extension_api.json" || has_problems=1 # Validate the current API against the reference "$1" --headless --validate-extension-api "$reference_file" 2>&1 | tee "$validate" | awk '!/^Validate extension JSON:/' - || true # Collect the expected and actual validation errors |