add optional time profiling
The other bindings will use this as well: ewoksorange!189 (merged), ewoksppf!104 (merged), ewoksdask!62 (merged), ewoks!182 (merged)
@broche We will use this for MX time profiling.
@loic.huder Alternatively we could introduce task_options
(or taskinfo
like varinfo
and execinfo
) so that when we need to pass additional task arguments in the future like profile_directory
, we don't need to adapt all engines. What do you think?
Edited by Wout De Nolf