From c9c7fd9ef63a79731f5d24f9c466d1f172e635d4 Mon Sep 17 00:00:00 2001 From: Frank Celler Date: Sun, 20 Mar 2016 10:05:07 +0100 Subject: [PATCH] safety checks --- Installation/travisCI/build.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Installation/travisCI/build.sh b/Installation/travisCI/build.sh index c63055ad60..d497699ab0 100755 --- a/Installation/travisCI/build.sh +++ b/Installation/travisCI/build.sh @@ -13,8 +13,7 @@ tar xzf 3rdParty.tar.gz echo echo "$0: setup make-system" -mkdir build -ln -s build/bin bin +test -d build || mkdir build echo echo "$0: configuring ArangoDB"