diff options
Diffstat (limited to 'Makefile.SH')
-rw-r--r-- | Makefile.SH | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.SH b/Makefile.SH index 04bdabd687..fa109a880d 100644 --- a/Makefile.SH +++ b/Makefile.SH @@ -1098,6 +1098,7 @@ realclean: cleanup_unpacked_files _realcleaner _mopup _clobber: -@rm -f Cross/run-* Cross/to-* Cross/from-* + rm -f t/test_state rm -f config.sh cppstdin Policy.sh extras.lst clobber: cleanup_unpacked_files _realcleaner _mopup _clobber |