Get exact build start/stop times from the remote

This commit is contained in:
Eelco Dolstra 2016-12-07 16:10:21 +01:00
parent f6081668dc
commit 9989e6c0f4
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE

View file

@ -299,6 +299,14 @@ void State::buildRemote(ref<Store> destStore,
if (GET_PROTOCOL_MINOR(remoteVersion) >= 3) {
result.timesBuilt = readInt(from);
result.isNonDeterministic = readInt(from);
auto start = readInt(from);
auto stop = readInt(from);
if (start && start) {
/* Note: this represents the duration of a single
round, rather than all rounds. */
result.startTime = start;
result.stopTime = stop;
}
}
switch ((BuildResult::Status) res) {
case BuildResult::Built: