diff options
author | Gabe Black <gabeblack@google.com> | 2018-07-27 16:06:32 -0700 |
---|---|---|
committer | Gabe Black <gabeblack@google.com> | 2018-09-11 21:52:19 +0000 |
commit | 222f5003f5be2fac805a1a5799d1c49a2f87e244 (patch) | |
tree | 913f2bc962aaf6291c4ce99ef7853a0a11ead0f7 /include | |
parent | f8896e6254869dee1c8d5c3aaacf73e07264f38c (diff) | |
download | gem5-222f5003f5be2fac805a1a5799d1c49a2f87e244.tar.xz |
systemc: Make verify.py delete obsolete diff files.
If diff file exists but the underlying diff has been fixed, delete the
diff file.
Change-Id: Icadc21a61c084198a8a246ab6d00a9b885647cde
Reviewed-on: https://gem5-review.googlesource.com/12056
Reviewed-by: Gabe Black <gabeblack@google.com>
Maintainer: Gabe Black <gabeblack@google.com>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions