diff options
| author | jade <lix@jade.fyi> | 2024-05-30 14:57:37 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@lix-systems> | 2024-05-30 14:57:37 +0000 |
| commit | 18aa3e1d570b4ecbb9962376e5fba5757dad8da9 (patch) | |
| tree | ad9edb3d85c7f3e9b6a33f65efeebbdbc9bd243b /src/nix/develop.cc | |
| parent | 53d40888ffe8238ab5baf6a9d1a7481c29e9c65d (diff) | |
| parent | 7575db522e9008685c4009423398f6900a16bcce (diff) | |
Merge "Remove 100s of CPU time (10%) from build times (1465s -> 1302s)" into main
Diffstat (limited to 'src/nix/develop.cc')
| -rw-r--r-- | src/nix/develop.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/nix/develop.cc b/src/nix/develop.cc index cd32bb20a..90bdf3bed 100644 --- a/src/nix/develop.cc +++ b/src/nix/develop.cc @@ -11,6 +11,7 @@ #include <iterator> #include <memory> +#include <sstream> #include <nlohmann/json.hpp> #include <algorithm> |