diff --git a/python/dune/perftool/pdelab/driver/__init__.py b/python/dune/perftool/pdelab/driver/__init__.py index 3c1c9f8ed364a930891ca5c87c7be5fe399abf37..91666020ee0487fdb6a8733f5a1893ffa014587d 100644 --- a/python/dune/perftool/pdelab/driver/__init__.py +++ b/python/dune/perftool/pdelab/driver/__init__.py @@ -276,6 +276,7 @@ def generate_driver(): driver_signature = FunctionDeclaration(Value('bool', 'driver'), [Value('int', 'argc'), Value('char**', 'argv')]) contents = [] + def add_section(tag, comment): tagcontents = [i for i in retrieve_cache_items("preamble and {}".format(tag), make_generable=True)] if tagcontents: