diff --git a/.travis.yml b/.travis.yml index 456e2d620e5f005c469f183f7879a9510f322996..9762134217ee7a036af05b913293da7b2c472c40 100644 --- a/.travis.yml +++ b/.travis.yml @@ -32,5 +32,9 @@ install: - export PATH=$PWD/gnat-gpl-2016-x86_64-linux-bin/bin/:$PATH script: + # Show GNAT version for the record + - gcc --version + - gnatls -v + # Just build - ./support/reconfig && ./configure && make