diff --git a/benchmarks/run_all_examples.py b/benchmarks/run_all_examples.py index e0f5a26f33bb073a912f673c243fdc715225b580..eafc29833451ee44d3a1c5b62e64baf7a3a859a6 100644 --- a/benchmarks/run_all_examples.py +++ b/benchmarks/run_all_examples.py @@ -35,3 +35,5 @@ if __name__ == '__main__': runpy.run_path(file_in, run_name="__main__", init_globals={ 'argv': ['--sleep-for-animation=False'] }) + print("runpy done.") + print("Done with {}".format(entry))