diff options
| -rw-r--r-- | src/libstore/build.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstore/build.cc b/src/libstore/build.cc index 3233a8d5cd2a..12cfd5ae78ba 100644 --- a/src/libstore/build.cc +++ b/src/libstore/build.cc @@ -3081,7 +3081,7 @@ SubstitutionGoal::~SubstitutionGoal() try { if (thr.joinable()) { thr.join(); - worker.childTerminated(shared_from_this()); + //worker.childTerminated(shared_from_this()); // FIXME } } catch (...) { ignoreException(); |