aboutsummaryrefslogtreecommitdiffstats
path: root/dist/macosx
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2017-08-17 08:41:49 +0200
committerTristan Gingold <tgingold@free.fr>2017-08-17 08:41:49 +0200
commit26aec0ca4c56c92c10beb111367f7cb72cc38d20 (patch)
treebd37325dd2ede67e42fe294e3a979848c4786e8c /dist/macosx
parent61df1ef50e0523d3838dcdc1e4784387666c7c69 (diff)
downloadghdl-26aec0ca4c56c92c10beb111367f7cb72cc38d20.tar.gz
ghdl-26aec0ca4c56c92c10beb111367f7cb72cc38d20.tar.bz2
ghdl-26aec0ca4c56c92c10beb111367f7cb72cc38d20.zip
travis-ci: investigate gnat-gpl install issue
Diffstat (limited to 'dist/macosx')
-rwxr-xr-xdist/macosx/install-ada.sh1
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