This commit is contained in:
Eelco Dolstra 2017-04-26 17:58:09 +02:00
parent 98a2adb135
commit 45ce2c7413
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE

View file

@ -799,7 +799,7 @@ static void opServe(Strings opFlags, Strings opArgs)
if (GET_PROTOCOL_MINOR(clientVersion) >= 3) {
settings.buildRepeat = readInt(in);
settings.enforceDeterminism = readInt(in);
settings.runDiffHook = readInt(in);
settings.runDiffHook = true;
}
settings.printRepeatedBuilds = false;
};