diff options
author | Gabe Black <gabeblack@google.com> | 2018-06-15 15:52:23 -0700 |
---|---|---|
committer | Gabe Black <gabeblack@google.com> | 2018-08-22 00:59:09 +0000 |
commit | d3abc7e7243406a6b9ac5632939a97882d75dcdf (patch) | |
tree | 66a62fc0176db0021d05cff2e3300b88e56ec578 /ext/googletest/.gitignore | |
parent | 84c1b3b3ed6d5f03e23efb2efa3fd04b3fab4b35 (diff) | |
download | gem5-d3abc7e7243406a6b9ac5632939a97882d75dcdf.tar.xz |
systemc: Add a filter-file option.
The --filter option is very useful, but can get to be long and complex
and a bit too cumbersome to use from the command line. This change
adds a --filter-file option which is mutually exclusive with --filter
and which reads the filter expression from a file instead of accepting
it on the command line.
Change-Id: I381c92ddf0d9fe62acd20432fa4868e2121405b8
Reviewed-on: https://gem5-review.googlesource.com/11257
Reviewed-by: Gabe Black <gabeblack@google.com>
Maintainer: Gabe Black <gabeblack@google.com>
Diffstat (limited to 'ext/googletest/.gitignore')
0 files changed, 0 insertions, 0 deletions