# # ChangeLog for tools/build # # Generated by Trac 1.2.1 # Dec 19, 2024, 8:24:22 AM Wed, 11 Sep 2019 19:08:54 GMT Thierry Delisle [6716d78] * .gitignore (modified) * tools/build/distcc_hash (added) * tools/build/push2dist.sh (added) Fixed gitignore which was ignoring tools/build and added missing ... Fri, 11 Aug 2017 18:38:04 GMT Thierry Delisle [c65a80b] * tools/build/clean_hdr.awk (added) * tools/build/clean_hdrs (added) * tools/build/time_make (added) Added tools used for cleaning headers and timing builds