From ad17653c721678587c47e0a8a5fd0c5fdf31bb2c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Wilmet?= <swilmet@informatique-libre.be>
Date: Sat, 16 Jul 2022 17:39:21 +0200
Subject: [PATCH] Always have a build/ dir available

It's cumbersome to mkdir build/ each time after a git clean -xdf.
---
 .gitignore       | 1 -
 build/.gitignore | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 build/.gitignore

diff --git a/.gitignore b/.gitignore
index 4ea31d47b..c18dd8d83 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1 @@
-/build/
 __pycache__/
diff --git a/build/.gitignore b/build/.gitignore
new file mode 100644
index 000000000..72e8ffc0d
--- /dev/null
+++ b/build/.gitignore
@@ -0,0 +1 @@
+*