diff --git a/.gitignore b/.gitignore
index a2a3b0dae4..c310081ad1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,6 +31,10 @@ a.out
 /v.c.out
 /v_old
 /v_old.exe
+/vold
+/vold.exe
+/vnew
+/vnew.exe
 .vrepl_temp.v
 fns.txt
 .noprefix.vrepl_temp.v