systemc: Make verify.py delete obsolete diff files.
authorGabe Black <gabeblack@google.com>
Fri, 27 Jul 2018 23:06:32 +0000 (16:06 -0700)
committerGabe Black <gabeblack@google.com>
Tue, 11 Sep 2018 21:52:19 +0000 (21:52 +0000)
commit222f5003f5be2fac805a1a5799d1c49a2f87e244
tree913f2bc962aaf6291c4ce99ef7853a0a11ead0f7
parentf8896e6254869dee1c8d5c3aaacf73e07264f38c
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>
src/systemc/tests/verify.py