diff --git a/.gitignore b/.gitignore
index c68645b9dfa4b..e6e36c7b52a8d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 bench
 bench_ecmult
 bench_internal
+noverify_tests
 tests
 exhaustive_tests
 precompute_ecmult_gen