--- ./sys/unix/Makefile.src.orig 2020-03-08 18:29:31.000000000 +0100 +++ ./sys/unix/Makefile.src 2020-10-11 13:27:02.142596777 +0200 @@ -670,7 +670,7 @@ # up to date before being executed ../include/date.h: $(VERSOURCES) $(HACK_H) -$(SHELL) ../sys/unix/gitinfo.sh $(GITINFO) #before 'makedefs -v' - ../util/makedefs -v + ../util/makedefs.host -v lint: