diff --git a/.gitignore b/.gitignore
index 0f96b00fda..ae3a14b801 100644
--- a/.gitignore
+++ b/.gitignore
@@ -35,6 +35,13 @@ a.out
 /vold.exe
 /vnew
 /vnew.exe
+/vprod
+/vprod_gcc
+/vprod_clang
+/vprod.exe
+/vprod_gcc.exe
+/vprod_clang.exe
+/vprod_msvc.exe
 .vrepl_temp.v
 fns.txt
 .noprefix.vrepl_temp.v