diff --git a/.gitignore b/.gitignore index 0c80b392b55e..7de06a15370e 100644 --- a/.gitignore +++ b/.gitignore @@ -46,6 +46,7 @@ drake.jar *.out pod-build build +cmake-build* mlint_output.html .#* VALGRIND_OUTPUT.xml