diff --git a/python/dune/codegen/pdelab/driver/timings.py b/python/dune/codegen/pdelab/driver/timings.py index 4a3d265fefd460bbee0218630bc40d0bc57a22b9..aeca64d46c73f2327b48c22f07dca7a85a044104 100644 --- a/python/dune/codegen/pdelab/driver/timings.py +++ b/python/dune/codegen/pdelab/driver/timings.py @@ -133,6 +133,9 @@ def setup_timer(): include_file("likwid.h", filetag="driver") init_likwid() if get_option('instrumentation_level') >= 3: + import logging + logger = logging.getLogger(__name__) + logger.warning("timings: using instrumentation level >= 3 with likwid will slow down your code considerably") local_operator_likwid() finalize_likwid() else: