1 bashline.c:65:10: fatal error: builtins/builtext.h: No such file or directory
2 65 | #include "builtins/builtext.h" /* for read_builtin */
3 | ^~~~~~~~~~~~~~~~~~~~~
5 --- bash-5.1/Makefile.in
6 +++ bash-5.1/Makefile.in
11 +$(CSOURCES): $(DEFDIR)/builtext.h
13 .build: $(SOURCES) config.h Makefile version.h $(VERSPROG)
15 @echo " ***********************************************************"