From 488fd4f076216b7aa2cd6192cd63e740beaf7233 Mon Sep 17 00:00:00 2001
From: Delyan Angelov <delian66@gmail.com>
Date: Tue, 18 Jun 2024 10:09:35 +0300
Subject: [PATCH] .gitignore: ignore vprod, vprod_gcc, vprod_clang, vprod_msvc
 executables

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

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