diff --git a/hermit/tools/netinet/in.h b/hermit/include/netinet/in.h similarity index 100% rename from hermit/tools/netinet/in.h rename to hermit/include/netinet/in.h diff --git a/hermit/tools/netinet/tcp.h b/hermit/include/netinet/tcp.h similarity index 100% rename from hermit/tools/netinet/tcp.h rename to hermit/include/netinet/tcp.h diff --git a/hermit/usr/Makefile b/hermit/usr/Makefile index fe9cf416d..fcd9451f8 100644 --- a/hermit/usr/Makefile +++ b/hermit/usr/Makefile @@ -74,7 +74,7 @@ headers: $Q$(CP) -R ../lwip/src/include/arch $(TOPDIR)/$(ARCH)/$(CROSSCOMPREFIX)/include/ $Q$(CP) -R ../lwip/src/include/lwip* $(TOPDIR)/$(ARCH)/$(CROSSCOMPREFIX)/include/ $Q$(CP) -R ../lwip/src/include/ipv4/lwip/* $(TOPDIR)/$(ARCH)/$(CROSSCOMPREFIX)/include/lwip/ - $Q$(CP) -R ../tools/neti* $(TOPDIR)/$(ARCH)/$(CROSSCOMPREFIX)/include/ + $Q$(CP) -R ../include/neti* $(TOPDIR)/$(ARCH)/$(CROSSCOMPREFIX)/include/ $Q$(CP) -R ../include/sys $(TOPDIR)/$(ARCH)/$(CROSSCOMPREFIX)/include/ $(TMP)/gcc: