From 5f0d718fc8f239e5c2cf7afc2612ca2bb590a129 Mon Sep 17 00:00:00 2001
From: Kei Okada <k-okada@jsk.t.u-tokyo.ac.jp>
Date: Sun, 30 Dec 2018 05:08:39 +0000
Subject: [PATCH] ubuntu_arm64:trusty takes more than 40min, so skip
 irteus-demo.l

---
 .travis.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis.sh b/.travis.sh
index 6ff34a71f..a65c4c0fd 100755
--- a/.travis.sh
+++ b/.travis.sh
@@ -49,6 +49,9 @@ set +e
 
 for test_l in irteus/test/*.l; do
 
+    # osrf/ubuntu_arm64:trusty takes >50 min, skip irteus-demo.l
+    [[ "$DOCKER_IMAGE" == *"arm64/trusty"*  && $test_l =~ irteus-demo.l ]] && continue;
+
     travis_time_start jskeus.source.${test_l##*/}.test
 
     irteusgl $test_l;