Closed rbost closed 5 years ago
Every developer uses different names for his build directories, so this patch won't match everybody and the .gitignore
file needs to be updated for new developers. Therefore I'll reject this PR.
I suggest adding a global .gitignore
file covering the needs for your build infrastructure, that will be used for all of your git projects automatically.
In git, ignore all build* directories by default. This is particularly handy if we want to use the standard
mkdir build & cd build & cmake ..
commands. Also, some IDEs (e.g. VSCode) do similar things.