Maybe now we get ArangoDB working again?

frankmayer · frankmayer · commit 95ebaa9587a6 · 2013-10-19T06:13:37.000+03:00
diff --git a/tests/travis/setup_arangodb.sh b/tests/travis/setup_arangodb.sh
@@ -19,8 +19,13 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
   TMP_DIR="/tmp/arangodb.$PID"
   PID_FILE="/tmp/arangodb.$PID.pid"
   ARANGODB_DIR="$DIR/$NAME"
+
   ARANGOD="${ARANGODB_DIR}/bin/arangod"
 
+  if [ "$ARCH" == "x86_64" ]; then
+  ARANGOD="${ARANGOD}_x86_64"
+  fi
+
   # create database directory
   mkdir ${TMP_DIR}
 
