[skip ci] Turn off opcounting for autotune generation

python/dune/codegen/sumfact/autotune.py

@@ -307,6 +307,10 @@ def generate_standalone_code(sf, filename):
 
 
 def generate_standalone_kernel_code(kernel, signature, filename, transformations=None):
+    # Turn off opcounting
+    opcounting = get_option("opcounter")
+    set_option("opcounter", False)
+
     with open(filename, 'w') as f:
         if transformations:
             f.write('// Transformations:\n')
@@ -417,6 +421,10 @@ def generate_standalone_kernel_code(kernel, signature, filename, transformations
                 'BENCHMARK_MAIN();']
         f.write('\n'.join(main))
 
+    # Maybe turn opcounting on again
+    set_option("opcounter", opcounting)
+
+
 
 def autotune_realization(sf=None, kernel=None, signature=None, transformations=None):
     """Generate an microbenchmark, compile run and return time