From 5fe560e5d6eb6bd967b0db3fa280deb29ad5d0d6 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 18 Aug 2017 04:41:00 +0200
Subject: travis-ci: move tests driver to buildtest.sh, clean cache before
 setting it.

---
 dist/macosx/install-ada.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'dist/macosx')

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
-- 
cgit v1.2.3