diff --git a/.gitignore b/.gitignore
index b44daf9fe6d..7987741c045 100644
--- a/.gitignore
+++ b/.gitignore
@@ -32,6 +32,9 @@ regression/cbmc/tests.log
 src/big-int/test-bigint
 src/big-int/test-bigint.exe
 
+# regression/coverage file
+/regression/coverage_**
+
 # files stored by editors
 *~