diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2017-05-19 10:17:09 +0300 |
---|---|---|
committer | Marc Stevens <cr-marcstevens@users.noreply.github.com> | 2017-05-20 13:49:39 +0300 |
commit | e8397b268195a668dad08646ea4e2b4797410f4f (patch) | |
tree | a328a06db7388e4b2e1f824d44d9489b10e120bf | |
parent | 030f0e610751e27f3721897a046bd55d516036dd (diff) |
.gitignore: ignore lib/.depend/ and other .depend/ directories
This is a hack so that I can run "make" cleanly in git.git. This is
really a wart around there being no easy way to have tracked
.gitignore changes to submodules.
You can hack e.g. .git/modules/sha1collisiondetection/info/exclude,
but that's not under source control, and thus needs to be done by the
Makefile.
This is an easy workaround that won't show the module dirty everytime
"make" is run, while we think about some longer-term fix for this.
-rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -34,3 +34,7 @@ /dep_src/ /obj_src/ /bin/ + +# The git.git project generates lib/.depend/ with +# COMPUTE_HEADER_DEPENDENCIES=[auto|yes]. +.depend/ |