2 commits

Author	SHA1	Message	Date
Bert Belder	4d08bb85a4	Clean up and fix tools ... * Make sync_third_party work in general * Un-break build.py and run_hooks.py on windows * Partially fix format.py on windows * Reduce code duplication between run_hooks and sync_third_party	2018-07-25 20:13:17 +02:00
Ryan Dahl	0875411267	Add tools/build.py (#398) ... To allow better tab completion for ./tools/build.py mv build_third_party.py sync_third_party.py	2018-07-24 13:42:23 -04:00