diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-09-15 00:23:17 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-09-15 00:23:17 -0700 |
commit | 5e4c6714b8b1c81a6b788b2d71049f6cabeb8e7c (patch) | |
tree | eb1b1e60967ebd392ef428c56bb0056b50fe71dc /build_and_test_until | |
parent | a0d3cac4e69101669681a4d8af6dc3e8bd2c9a6a (diff) | |
download | mu-5e4c6714b8b1c81a6b788b2d71049f6cabeb8e7c.tar.gz |
5660
Fix CI.
Diffstat (limited to 'build_and_test_until')
-rwxr-xr-x | build_and_test_until | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_and_test_until b/build_and_test_until index 710e1d55..0532f653 100755 --- a/build_and_test_until +++ b/build_and_test_until @@ -15,4 +15,4 @@ then echo $1 > .until fi -./build --until $1 && ./subx_bin test $2 +ONLY_CPP=1 ./build --until $1 && ./subx_bin test $2 |