diff --git a/scripts/gh-build-crate.sh b/scripts/gh-build-crate.sh index 5ef88cab..bcf2d80c 100755 --- a/scripts/gh-build-crate.sh +++ b/scripts/gh-build-crate.sh @@ -149,6 +149,9 @@ for file in $CHANGES; do else echo FETCHED SOURCE crate OK cd ${crate}_${version_noextras}_* + echo GNAT/GPRBUILD DEFAULT VERSIONS + gnat --version || true + gprbuild --version || true echo BUILD ENVIRONMENT alr printenv echo BUILDING CRATE