479 commits

Author	SHA1	Message	Date
John Ericson	9c5de066eb	Merge remote-tracking branch 'obsidian/path-info' into ca-drv-exotic	2020-10-13 16:21:33 +00:00
John Ericson	34b3bfac25	Merge remote-tracking branch 'upstream/master' into path-info	2020-10-13 15:36:20 +00:00
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	d334fd4882	Merge branches 'split_build_hh-0', 'split_build_hh-1', 'split_build_hh-2', 'split_build_hh-3' and 'split_build_hh-4' into split_build_cc	2020-10-12 17:20:12 +00:00
John Ericson	542972f029	Trim worker.hh	2020-10-12 17:16:48 +00:00
John Ericson	0e2306204a	Rename to hand-hold git (worker.hh)	2020-10-12 17:16:48 +00:00
John Ericson	3ffa3546bd	Trim substitution-goal.hh	2020-10-12 17:16:25 +00:00
John Ericson	e77a2344d5	Rename to hand-hold git (substitution-goal.hh)	2020-10-12 17:16:25 +00:00
John Ericson	d585b4c54f	Trim hook-instance.hh	2020-10-12 17:16:13 +00:00
John Ericson	10b749a156	Rename to hand-hold git (hook-instance.hh)	2020-10-12 17:16:13 +00:00
John Ericson	8067d32f2a	Trim goal.hh	2020-10-12 17:16:00 +00:00
John Ericson	0d0e345cdc	Rename to hand-hold git (goal.hh)	2020-10-12 17:16:00 +00:00
John Ericson	2ce726947a	Trim derivation-goal.hh	2020-10-12 17:15:32 +00:00
John Ericson	4eb8c69853	Rename to hand-hold git (derivation-goal.hh)	2020-10-12 17:15:32 +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	8cc510fb79	Merge branches 'build-1', 'build-2', 'build-3', 'build-4', 'build-5', 'build-6', 'build-7' and 'build-8' into split_build_cc	2020-10-11 16:44:34 +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
John Ericson	d24ffe0eb1	Trim build/substitution-goal.cc	2020-10-11 16:43:24 +00:00
John Ericson	3633b3572b	Rename to hand-hold git (build/substitution-goal.cc)	2020-10-11 16:43:18 +00:00
John Ericson	4bdff7d1b0	Trim build/local-store-build.cc	2020-10-11 16:43:12 +00:00
John Ericson	dc5225cde5	Rename to hand-hold git (build/local-store-build.cc)	2020-10-11 16:43:05 +00:00
John Ericson	159054f730	Trim build/hook-instance.cc	2020-10-11 16:42:35 +00:00
John Ericson	f0b8987299	Rename to hand-hold git (build/hook-instance.cc)	2020-10-11 16:42:08 +00:00
John Ericson	819fe848ac	Trim build/goal.cc	2020-10-11 16:41:58 +00:00
John Ericson	184bfc301e	Rename to hand-hold git (build/goal.cc)	2020-10-11 16:41:18 +00:00
John Ericson	3bab1c5bb0	Trim build/derivation-goal.cc	2020-10-11 16:41:11 +00:00
John Ericson	9629290eda	Rename to hand-hold git (build/derivation-goal.cc)	2020-10-11 16:40:52 +00:00