diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-08-18 04:41:00 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-08-18 04:41:00 +0200 |
commit | 5fe560e5d6eb6bd967b0db3fa280deb29ad5d0d6 (patch) | |
tree | 704ad7bbbf98cec40947482323376f8177d9612f /dist/macosx/install-ada.sh | |
parent | 4c80a688380e961ae08a05dbc30acb44cf58e8c5 (diff) | |
download | ghdl-5fe560e5d6eb6bd967b0db3fa280deb29ad5d0d6.tar.gz ghdl-5fe560e5d6eb6bd967b0db3fa280deb29ad5d0d6.tar.bz2 ghdl-5fe560e5d6eb6bd967b0db3fa280deb29ad5d0d6.zip |
travis-ci: move tests driver to buildtest.sh, clean cache before setting it.
Diffstat (limited to 'dist/macosx/install-ada.sh')
-rwxr-xr-x | dist/macosx/install-ada.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dist/macosx/install-ada.sh b/dist/macosx/install-ada.sh index 97bc762ec..13524e614 100755 --- a/dist/macosx/install-ada.sh +++ b/dist/macosx/install-ada.sh @@ -17,7 +17,8 @@ curl -o $tarfile http://mirrors.cdn.adacore.com/art/591c9045c7a447af2deed24e # un tar tar xf $tarfile -# Direct install +# Remove old gnat directory and install manually +rm -rf gnat mv gnat-gpl-2017-x86_64-darwin-bin gnat # Cleanup: remove components not needed |