From a6d8facbbd0cb87374e2afd8a0b908e5cbec399d Mon Sep 17 00:00:00 2001
From: Sebastian Graf <sebastian.graf@kit.edu>
Date: Mon, 21 Feb 2022 13:56:38 +0100
Subject: gitignore all (build) directories headed by _

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 7f0ff4081b..86fd8cc3e6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -51,8 +51,8 @@ confdefs.h
 stage0
 stage1
 stage2
-_build
-_validatebuild
+# Ignore _build, _validatebuild and any other custom build directories headed by _
+_*
 */generated/
 */ghc-stage1
 .shake.*
-- 
cgit v1.2.1