diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-05-08 23:37:07 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-05-08 23:37:07 -0700 |
commit | 355db3bf04e46fa62eb73079c9461493c25759f3 (patch) | |
tree | f89ee87bd3ed9c5ecfd6c38b3c0179f44a28b774 /makefile | |
parent | 61c021fdd037ac9bf2a626731ae75403ff1520c3 (diff) | |
download | mu-355db3bf04e46fa62eb73079c9461493c25759f3.tar.gz |
2946
Reorganize build system to minimize duplication while handling 3 scenarios: 1. Locally running tests with `mu test` 2. Locally running tests until some layer with `build_and_test_until` 3. Running on Linux with `test_layers` 4. Running on Travis CI with multiple sharded calls to `test_layers` One thing we drop at this point is support for OSX in test_layers. We don't need it now that we have Travis CI working.
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/makefile b/makefile index d4257826..cc0fd84c 100644 --- a/makefile +++ b/makefile @@ -49,9 +49,6 @@ test_list: mu.cc test: autogenerated_lists mu_bin core.mu ./mu_bin test -valgrind: autogenerated_lists mu_bin core.mu - valgrind --leak-check=yes --num-callers=40 -q --error-exitcode=1 ./mu_bin test - clena: clean clean: cd enumerate && make clean |