2 commits

Author	SHA1	Message	Date
Eelco Dolstra	50d483a2c1	Fix precompiled-headers generation ... It's now regenerated when util.hh changes, and is ordered after config.h to fix a race.	2019-12-05 20:26:24 +01:00
Eelco Dolstra	5ff4d77f55	Precompile headers ... This cuts 'make install -j6' on my laptop from 170s to 134s.	2019-11-07 10:12:35 +01:00