Avoid over-rebuilding due to namespace mangling.

Take care not to touch generated namespace mangling headers unless their
contents would change.

This resolves #838.
This commit is contained in:
Jason Evans
2017-05-16 23:12:59 -07:00
parent b8ba3c3132
commit 04fec5e084
2 changed files with 10 additions and 3 deletions

2
.gitignore vendored
View File

@@ -21,7 +21,9 @@
/include/jemalloc/internal/jemalloc_preamble.h
/include/jemalloc/internal/jemalloc_internal_defs.h
/include/jemalloc/internal/private_namespace.gen.h
/include/jemalloc/internal/private_namespace.h
/include/jemalloc/internal/private_namespace_jet.gen.h
/include/jemalloc/internal/private_namespace_jet.h
/include/jemalloc/internal/private_symbols.awk
/include/jemalloc/internal/private_symbols_jet.awk