text: //  Copyright (c) 2005-2017 Hartmut Kaiser
  //  Copyright (c)      2011 Bryce Adelstein-Lelbach
  //
  //  SPDX-License-Identifier: BSL-1.0
  //  Distributed under the Boost Software License, Version 1.0. (See accompanying
  //  file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  
  #include <pika/config.hpp>
  #include <pika/schedulers/deadlock_detection.hpp>
  
  namespace pika { namespace threads { namespace policies {
  #ifdef PIKA_HAVE_THREAD_MINIMAL_DEADLOCK_DETECTION
      static bool minimal_deadlock_detection_enabled = false;
  
      void set_minimal_deadlock_detection_enabled(bool enabled)
      {
          minimal_deadlock_detection_enabled = enabled;
      }
  
      bool get_minimal_deadlock_detection_enabled()
      {
          return minimal_deadlock_detection_enabled;
      }
  #endif
  }}}    // namespace pika::threads::policies
  