diff options
| author | Gabe Black <gabeblack@google.com> | 2018-07-27 16:04:31 -0700 |
|---|---|---|
| committer | Gabe Black <gabeblack@google.com> | 2018-09-11 21:51:49 +0000 |
| commit | f8896e6254869dee1c8d5c3aaacf73e07264f38c (patch) | |
| tree | 0cb6fdf1f1202cf9a8caecef20b45adef0b04ddd /.gitignore | |
| parent | 9cfe743a2262d53fdf3637f0424faa66533ca8e4 (diff) | |
| download | gem5-f8896e6254869dee1c8d5c3aaacf73e07264f38c.tar.xz | |
systemc: Make verify.py ignore a warning.
Change-Id: Ia887b7195d84d0ba9e77370d7b928e201ca78731
Reviewed-on: https://gem5-review.googlesource.com/12055
Reviewed-by: Gabe Black <gabeblack@google.com>
Maintainer: Gabe Black <gabeblack@google.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions