Index: Makefile.in ================================================================== --- Makefile.in +++ Makefile.in @@ -76,11 +76,10 @@ ( for file in $(INSTALL_HEADERS); do echo "#include <$${file}>"; done ) | \ $(CPP) $(CPPFLAGS) $(CFLAGS) -I$(srcdir)/tcc/include -I$(srcdir)/tcc/include - | awk -f $(srcdir)/headers.awk | while read src dst; do \ dst="$(DESTDIR)$(PACKAGE_INSTALL_DIR)/include/$$dst"; \ if [ -e "$${dst}" ]; then continue; fi; \ dstdir="$$(dirname "$$dst")"; \ - echo mkdir -p "$$dstdir"; \ mkdir -p "$$dstdir"; \ echo cp "$$src" "$$dst"; \ cp "$$src" "$$dst"; \ done