diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-14 01:56:41 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-14 01:56:41 -0700 |
commit | 445bc53e6a6b3d87f35f5bffc6a87a9b4d73a2c1 (patch) | |
tree | cc418f3c28769af043ee78d295bc618773cc27bf /test_layers | |
parent | 9a1d39bac25f6ce3a599ffce70595aee70f5bb77 (diff) | |
download | mu-445bc53e6a6b3d87f35f5bffc6a87a9b4d73a2c1.tar.gz |
3350
Three separate CI fixes(!)
Diffstat (limited to 'test_layers')
-rwxr-xr-x | test_layers | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test_layers b/test_layers index 35cfb8fa..cf009d60 100755 --- a/test_layers +++ b/test_layers @@ -74,4 +74,6 @@ then ./mu_bin test edit/00* edit/010* || exit 1 echo "=== edit: until 011" ./mu_bin test edit/00* edit/01[01]* || exit 1 + echo "=== edit: until 012" + ./mu_bin test edit/00* edit/01[0-2]* || exit 1 fi |