diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-09-21 18:40:11 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-09-21 18:42:21 +0200 |
| commit | d51ba430473368b29abfd1a8c4655da74b3a780c (patch) | |
| tree | f4c378cd3aa1c310eaaff5d04af0cf6f4f068288 /src/libstore/misc.cc | |
| parent | e8e1d420f364afbfface61d3f03889e10e6066c9 (diff) | |
Move Callback into its own header
This gets rid of the inclusion of <future> in util.hh, cutting
compilation time by ~20s (CPU time).
Issue #4045.
Diffstat (limited to 'src/libstore/misc.cc')
| -rw-r--r-- | src/libstore/misc.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstore/misc.cc b/src/libstore/misc.cc index da3981696..ad4dccef9 100644 --- a/src/libstore/misc.cc +++ b/src/libstore/misc.cc @@ -5,7 +5,7 @@ #include "store-api.hh" #include "thread-pool.hh" #include "topo-sort.hh" - +#include "callback.hh" namespace nix { |