From 2be9831c0c81205c18f9ac86b0f98afb52456fb7 Mon Sep 17 00:00:00 2001 From: Andrew Kesterson Date: Thu, 30 Jul 2026 22:42:41 -0400 Subject: [PATCH] Ignore out-of-tree build directories The first .gitignore entry was "./build/*". A leading ./ is not a valid gitignore pattern, so it matched nothing and build/ turned up as untracked in every git status. Use build*/, which also covers the instrumented trees scripts/coverage.py and -DAKGL_COVERAGE=ON create. Nothing under a build* path is tracked, so this hides no existing file. Co-Authored-By: Claude Opus 5 (1M context) --- .gitignore | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index dbf1c80..80efc9e 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,7 @@ -./build/* +# A leading ./ is not a valid gitignore pattern, so "./build/*" matched nothing +# and every out-of-tree build tree showed up as untracked. This also covers the +# instrumented trees scripts/coverage.py and the AKGL_COVERAGE option create. +build*/ .aider* *~