python: Make DOT config generation optional
authorMichiel W. van Tol <Michiel.VanTol@arm.com>
Mon, 18 May 2020 15:34:26 +0000 (16:34 +0100)
committerGiacomo Travaglini <giacomo.travaglini@arm.com>
Wed, 20 May 2020 09:20:20 +0000 (09:20 +0000)
commit2bceeaafb4a11bbf3b7fc873bf3eb999f20f22d4
tree47d275908a54cc570206256664e1e582be7e5d9d
parent0767ade61b33672aa97fc90a098453cdf7a62051
python: Make DOT config generation optional

By default, DOT configs are always generated when pydot is present.
This change allows a user to pass an empty --dot-config='' to disable
generating the DOT configuration. This can be useful to save space, or
to reduce Gem5 startup time when running many small regression tests.

This brings the behavior in-line with providing an empty
--dump_config='' and/or --json_config='' which similarly disables
generation of those output files.

Change-Id: I5bf39fda0409b948a8d14f3afa95db8fc78de6ee
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/29232
Reviewed-by: Jason Lowe-Power <power.jg@gmail.com>
Maintainer: Jason Lowe-Power <power.jg@gmail.com>
Tested-by: kokoro <noreply+kokoro@google.com>
src/python/m5/simulate.py