From 1baa04dbd4c77d18b906fd185c762f613b36baa0 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sun, 8 May 2016 18:56:32 -0700
Subject: 2941 - split Travis CI into multiple jobs

It easily exceeded the 50-minute timeout.
---
 test_all_layers | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100755 test_all_layers

(limited to 'test_all_layers')

diff --git a/test_all_layers b/test_all_layers
deleted file mode 100755
index f7551aea..00000000
--- a/test_all_layers
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/sh
-
-for f in [0-9]*
-do
-  if [ "$f" \< "$1" ]; then continue; fi
-  echo "=== $f"
-  ./build_and_test_until $f || exit 1
-done
-
-echo "=== chessboard"
-./mu test chessboard.mu || exit 1
-
-for f in edit/[0-9]*
-do
-  echo "=== edit: until $f"
-  ./mu test `echo edit/[0-9]* |perl -pwe "s,$f.*,$f,"`  || exit 1
-done
-- 
cgit 1.4.1-2-gfad0