diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 16:39:23 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 16:39:23 -0700 |
commit | d9ee2076d94a5eb8c502ff065295ac921fae40e2 (patch) | |
tree | 018deecfb4f9076cc9b9e11bb09371db921a4f22 | |
parent | 810542f1789edc9cec6cd30a5c6c1949e41b3a69 (diff) | |
download | mu-d9ee2076d94a5eb8c502ff065295ac921fae40e2.tar.gz |
3449
Fix CI. Didn't mean to push just yet :/
-rwxr-xr-x | test_layers | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test_layers b/test_layers index cf009d60..2d1dae8e 100755 --- a/test_layers +++ b/test_layers @@ -32,7 +32,8 @@ do done # Layers for Mu apps without Valgrind -CXX=clang++ CXXFLAGS="-O3 -fsanitize=undefined -Wno-tautological-constant-out-of-range-compare" LDFLAGS="-fsanitize=undefined" make +./clean +./build if [[ ! $1 || $1 == chessboard ]] then |