From 6ac65a922fe87e997f90e1e0980f7c0747c5bd92 Mon Sep 17 00:00:00 2001
From: Patrick Niklaus <patrick.niklaus@student.kit.edu>
Date: Wed, 13 Jul 2016 14:19:33 +0200
Subject: [PATCH] Disable ARM builds until sourceforge comes up again

---
 .travis.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 5b4d858b7..6c9d45f93 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -75,9 +75,10 @@ matrix:
       compiler: "gcc-5-release-i686"
       env: TARGET_ARCH='i686' CCOMPILER='gcc-5' CXXCOMPILER='g++-5' BUILD_TYPE='Release'
 
-    - os: linux
-      compiler: "gcc-4.8-release-armhf"
-      env: TARGET_ARCH='armhf' CCOMPILER='arm-linux-gnueabihf-gcc-4.8' CXXCOMPILER='arm-linux-gnueabihf-g++-4.8' BUILD_TYPE='Release'
+      # FIXME disabled until sourceforge fixes its packages for stxxl
+      #- os: linux
+      #- compiler: "gcc-4.8-release-armhf"
+      #- env: TARGET_ARCH='armhf' CCOMPILER='arm-linux-gnueabihf-gcc-4.8' CXXCOMPILER='arm-linux-gnueabihf-g++-4.8' BUILD_TYPE='Release'
 
       # Disabled because of CI slowness
       #- os: linux