diff --git a/src/libstore/build.cc b/src/libstore/build.cc index 3233a8d5c..12cfd5ae7 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();