diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-08-13 08:26:39 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-08-13 08:26:39 -0700 |
| commit | ab2c7efd02b8a44fdfc1110ca28bf22dc9905304 (patch) | |
| tree | dafa918c7f9b07560bf71014dd9f1a1a47777d8a | |
| parent | 9bc51a5249dd2e286eb1e15bb18004f061a8121f (diff) | |
| download | mu-ab2c7efd02b8a44fdfc1110ca28bf22dc9905304.tar.gz | |
4515
Fix CI.
| -rwxr-xr-x | subx/test_layers | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subx/test_layers b/subx/test_layers index 4ba619a5..709601ff 100755 --- a/subx/test_layers +++ b/subx/test_layers @@ -10,7 +10,7 @@ do ./build_and_test_until $f || exit 1 done -clean top +./clean top for f in ex*.subx do echo checking $f |