about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-05-25 12:47:32 -0700
committerKartik Agaram <vc@akkartik.com>2018-05-25 12:47:49 -0700
commit9531333e7ff6381e51e902d90e8ebc3e2bbb2208 (patch)
tree828098855dbfb456ea5cf7653e0316c34582d248
parentf7d3dc0eea180a6e5c233fdc493ad8f6cf1022e4 (diff)
downloadmu-9531333e7ff6381e51e902d90e8ebc3e2bbb2208.tar.gz
4248 -- simplify CI
-rw-r--r--.travis.yml4
-rwxr-xr-xtest_layers2
2 files changed, 4 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml
index 17aeee0a..38c05ead 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -30,10 +30,12 @@ matrix:
     - env: COMMAND=./test_layers CXX=clang++ START=edit3
     - env: COMMAND=./test_layers CXX=clang++ START=edit4
     - env: COMMAND=./test_layers CXX=g++ START=one-off  # minimal testing for gcc
-    - env: COMMAND=./subx/test_layers
+    # other build scripts
     - env: COMMAND=./test_layers BUILD=build0 START=one-off
     - env: COMMAND=./test_layers BUILD=build1 START=one-off
     - env: COMMAND=./test_layers BUILD=build2 START=one-off
+    # other directories
+    - env: COMMAND=./subx/test_layers
 
 script:
   - $COMMAND $START $END
diff --git a/test_layers b/test_layers
index 9cbc12e5..47cb01b0 100755
--- a/test_layers
+++ b/test_layers
@@ -30,7 +30,7 @@ do
   if [[ $f < $1 ]]; then continue; fi
   if [[ $2 && $f > $2 ]]; then exit 0; fi
   echo "=== $f"
-  rm -rf .build mu.cc mu_bin core.mu  # force full rebuild for top-level, but not subsidiary tools like tangle and cleave
+  ./clean top-level  # preserve subsidiary tools like tangle and cleave
   ./$BUILD --until $f || exit 1
   # valgrind requires Linux
   valgrind --leak-check=yes --num-callers=40 -q --error-exitcode=1 ./mu_bin test || exit 1
<boothj5@gmail.com> 2015-01-16 22:50:40 +0000 Simplified autocompleters and command history' href='/danisanti/profani-tty/commit/src/roster_list.h?id=4c6cfcdca0f7aec1f0e3243a60d88ed494357a5d'>4c6cfcdc ^
107fdd35 ^

4c6cfcdc ^

15d0f679 ^
4e429fe7 ^
c3d2a7e9 ^
107fdd35 ^

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72