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 618f1201f8..5eaef2cd25 100644 --- a/Makefile.SH +++ b/Makefile.SH @@ -802,6 +802,7 @@ realclean: _realcleaner _mopup @echo "Note that make realclean does not delete config.sh or Policy.sh" _clobber: + -@rm -f Cross/run-* Cross/to-* Cross/from-* rm -f config.sh cppstdin Policy.sh clobber: _realcleaner _mopup _clobber |