diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2018-12-01 02:33:16 -0800 |
---|---|---|
committer | Joshua Haberman <jhaberman@gmail.com> | 2018-12-01 02:33:16 -0800 |
commit | 35fa3df8ecc3f451af0512e70a03f89ee407c85c (patch) | |
tree | 0ab0029b3080a4378cf1fb4dd026284c72082f7c /BUILD | |
parent | 9e44a757edb7ba7155469d3305da32b3dc11c756 (diff) |
Fixes for macOS build. Also run tests in CMake test.
Diffstat (limited to 'BUILD')
-rw-r--r-- | BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -407,7 +407,7 @@ cc_binary( make_shell_script( name = "gen_run_cmake_build", out = "run_cmake_build.sh", - contents = "mkdir build && cd build && cmake .. && make -j8" + contents = "mkdir build && cd build && cmake .. && make -j8 && make test" ) sh_test( |