diff --git a/python/dune/perftool/pdelab/localoperator.py b/python/dune/perftool/pdelab/localoperator.py index 088fa7425ffadffbf549ed8caf0fb79336de7bab..957c767dc9f3d6bae59c084941247f8f057e4a0e 100644 --- a/python/dune/perftool/pdelab/localoperator.py +++ b/python/dune/perftool/pdelab/localoperator.py @@ -486,7 +486,9 @@ def extract_kernel_from_cache(tag, wrap_in_cgen=True): # Construct an options object from loopy import Options - opt = Options(ignore_boostable_into=True) + opt = Options(ignore_boostable_into=True, + check_dep_resolution=False, + ) # Find a name for the kernel if wrap_in_cgen: diff --git a/python/loopy b/python/loopy index 32e23d2247e7eb73657f20f575368a79d3473fc8..2f0cac0bc927fe2b3394801419f88a781c2150e9 160000 --- a/python/loopy +++ b/python/loopy @@ -1 +1 @@ -Subproject commit 32e23d2247e7eb73657f20f575368a79d3473fc8 +Subproject commit 2f0cac0bc927fe2b3394801419f88a781c2150e9