diff options
Diffstat (limited to 'newlib/Makefile.in')
-rw-r--r-- | newlib/Makefile.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/newlib/Makefile.in b/newlib/Makefile.in index 22561157a..3d5d31223 100644 --- a/newlib/Makefile.in +++ b/newlib/Makefile.in @@ -198,6 +198,7 @@ MKDIR_P = @MKDIR_P@ NEWLIB_CFLAGS = @NEWLIB_CFLAGS@ NM = @NM@ NMEDIT = @NMEDIT@ +NO_INCLUDE_LIST = @NO_INCLUDE_LIST@ OBJDUMP = @OBJDUMP@ OBJEXT = @OBJEXT@ OTOOL = @OTOOL@ @@ -1036,6 +1037,11 @@ install-data-local: install-toollibLIBRARIES $(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. |