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