summaryrefslogtreecommitdiff
path: root/ext/dsent
diff options
context:
space:
mode:
authorGabe Black <gabeblack@google.com>2018-07-27 16:04:31 -0700
committerGabe Black <gabeblack@google.com>2018-09-11 21:51:49 +0000
commitf8896e6254869dee1c8d5c3aaacf73e07264f38c (patch)
tree0cb6fdf1f1202cf9a8caecef20b45adef0b04ddd /ext/dsent
parent9cfe743a2262d53fdf3637f0424faa66533ca8e4 (diff)
downloadgem5-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 'ext/dsent')
0 files changed, 0 insertions, 0 deletions