diff options
Diffstat (limited to 'compatMakefile')
| -rw-r--r-- | compatMakefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compatMakefile b/compatMakefile index 9ee55b1..188fb30 100644 --- a/compatMakefile +++ b/compatMakefile @@ -249,6 +249,7 @@ distclean: clean glob-realclean -rm -f make.?? make.??s make.log make.toc make.*aux -rm -f loadavg.c realclean: distclean + -rm -f make.info* mostlyclean: clean .PHONY: glob-clean glob-realclean |