diff options
Diffstat (limited to 'newlib/libm/Makefile.in')
-rw-r--r-- | newlib/libm/Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/newlib/libm/Makefile.in b/newlib/libm/Makefile.in index 77914aa2c..59a53b528 100644 --- a/newlib/libm/Makefile.in +++ b/newlib/libm/Makefile.in @@ -522,8 +522,9 @@ dist-info: $(INFO_DEPS) done mostlyclean-aminfo: - -rm -rf libm.aux libm.cp libm.cps libm.fn libm.ky libm.kys libm.log libm.pg \ - libm.pgs libm.tmp libm.toc libm.tp libm.tps libm.vr libm.vrs + -rm -rf libm.aux libm.cp libm.cps libm.fn libm.fns libm.ky libm.kys \ + libm.log libm.pg libm.pgs libm.tmp libm.toc libm.tp libm.tps \ + libm.vr libm.vrs clean-aminfo: -test -z "libm.dvi libm.pdf libm.ps libm.html" \ |