diff options
Diffstat (limited to 'newlib/Makefile.am')
-rw-r--r-- | newlib/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/newlib/Makefile.am b/newlib/Makefile.am index d7205b66b..dca626073 100644 --- a/newlib/Makefile.am +++ b/newlib/Makefile.am @@ -330,6 +330,11 @@ endif $(INSTALL_DATA) $$i $(DESTDIR)$(tooldir)/include/machine/`basename $$i`; \ else true; fi ; \ done ; \ + for i in $(NO_INCLUDE_LIST); do \ + if [ -f $(DESTDIR)$(tooldir)/include/$$i]; then \ + -rm $(DESTDIR)$(tooldir)/include/$$i; \ + else true; fi ; \ + done ; \ else true; fi # Force makedoc to be built before building info files. |