diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-09-21 18:22:45 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2020-09-21 18:22:45 +0200 |
commit | e8e1d420f364afbfface61d3f03889e10e6066c9 (patch) | |
tree | 2cd1a7637d516eb5d50501a5508231d979096cf7 /src/nix-env | |
parent | cbe0bb29f4531b2cd6b18775018bf030b1a909e3 (diff) |
Don't include <regex> in header files
This reduces compilation time by ~15 seconds (CPU time).
Issue #4045.
Diffstat (limited to 'src/nix-env')
-rw-r--r-- | src/nix-env/nix-env.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/nix-env/nix-env.cc b/src/nix-env/nix-env.cc index e5a433ac0..3e7c453fb 100644 --- a/src/nix-env/nix-env.cc +++ b/src/nix-env/nix-env.cc @@ -230,7 +230,7 @@ static DrvInfos filterBySelector(EvalState & state, const DrvInfos & allElems, { DrvNames selectors = drvNamesFromArgs(args); if (selectors.empty()) - selectors.push_back(DrvName("*")); + selectors.emplace_back("*"); DrvInfos elems; set<unsigned int> done; |