From 603319e30b6ad8dcf9dbc60bec74ed37add5c7f8 Mon Sep 17 00:00:00 2001
From: Delyan Angelov <delian66@gmail.com>
Date: Sun, 16 Oct 2022 20:44:07 +0300
Subject: [PATCH] .gitignore: ignore vold/vnew (ensure that artefacts used for
 benchmarking before/after changes are not commited)

---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

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