5 commits

Author	SHA1	Message	Date
John Ericson	1b8ebe92dc	Merge remote-tracking branch 'obsidian/split_build_cc' into typed-goal-maps	2020-10-12 20:47:22 +00:00
John Ericson	f7099965bf	Change .cc files to use split build headers	2020-10-12 17:08:52 +00:00
John Ericson	5c74a6147b	Properly type the derivation and substitution goal maps ... As a bonus, Worker::removeGoal is less inefficient.	2020-10-11 17:07:14 +00:00
John Ericson	eed53ed87a	Trim build/worker.cc	2020-10-11 16:43:51 +00:00
John Ericson	904e315dae	Rename to hand-hold git (build/worker.cc)	2020-10-11 16:43:42 +00:00

Renamed from src/libstore/build.cc (Browse further)