From 54ec032e0095f93aec0ed63cb7b919f50c5131e2 Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <amosteo@unizar.es>
Date: Thu, 4 Nov 2021 09:56:43 +0100
Subject: [PATCH] Show GNAT/GPRBUILD versions on default PATH before build

---
 scripts/gh-build-crate.sh | 3 +++
 1 file changed, 3 insertions(+)

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