Gradually increase maxHeapSize

This commit is contained in:
Eelco Dolstra 2018-08-07 11:47:53 +02:00
parent e122d3bef3
commit 4dca8fe14d
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE
2 changed files with 3 additions and 1 deletions

View file

@ -1,5 +1,5 @@
{ hydraSrc ? builtins.fetchGit ./. { hydraSrc ? builtins.fetchGit ./.
, nixpkgs ? builtins.fetchGit { url = https://github.com/NixOS/nixpkgs-channels.git; ref = "nixos-18.03"; } , nixpkgs ? builtins.fetchGit { url = https://github.com/NixOS/nixpkgs-channels.git; ref = "nixos-18.03-small"; }
, officialRelease ? false , officialRelease ? false
, shell ? false , shell ? false
}: }:

View file

@ -312,6 +312,8 @@ int main(int argc, char * * argv)
if (status != 0) if (status != 0)
throw Exit(WIFEXITED(status) ? WEXITSTATUS(status) : 99); throw Exit(WIFEXITED(status) ? WEXITSTATUS(status) : 99);
maxHeapSize = maxHeapSize * 1.1;
lastAttrPath = drainFD(pipe.readSide.get()); lastAttrPath = drainFD(pipe.readSide.get());
} while (lastAttrPath != ""); } while (lastAttrPath != "");
}); });