From 2f82466d30e881c120c72a711f0ca47d92c1bec2 Mon Sep 17 00:00:00 2001
From: Delyan Angelov <delian66@gmail.com>
Date: Mon, 18 Jan 2021 08:51:58 +0200
Subject: [PATCH] gitignore: ignore the presence/absence of
 cmd/tools/.disable_autorecompilation

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

diff --git a/.gitignore b/.gitignore
index f45f20d653..a866f8314f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -77,3 +77,6 @@ _docs
 *.suo
 *.VC.db
 *.rsp
+
+# ignore cmd/tools/.disable_autorecompilation, which some package managers use.
+cmd/tools/.disable_autorecompilation