Show GNAT/GPRBUILD versions on default PATH before build

2021-11-04 09:56:43 +01:00
1 changed files with 3 additions and 0 deletions
@@ -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