diff options
Diffstat (limited to 'dist/macosx/install-ada.sh')
| -rwxr-xr-x | dist/macosx/install-ada.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/macosx/install-ada.sh b/dist/macosx/install-ada.sh index bd30e2e1b..97bc762ec 100755 --- a/dist/macosx/install-ada.sh +++ b/dist/macosx/install-ada.sh @@ -8,6 +8,7 @@ if [ -e gnat/etc/install_ok ]; then fi echo "Download and install gnat-gpl" +set -x # Download from libre.adacore.com tarfile=gnat-gpl-2017-x86_64-darwin-bin.tar.gz |