diff options
| -rw-r--r-- | Makefile.SH | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.SH b/Makefile.SH index 4a48dedb1c..e81172ead4 100644 --- a/Makefile.SH +++ b/Makefile.SH @@ -686,7 +686,7 @@ clobber: _realcleaner _mopup distclean: clobber # Like distclean but also removes emacs backups and *.orig. -veryclean: _verycleaner _mopup +veryclean: _verycleaner _mopup clobber # Do not 'make _mopup' directly. _mopup: |