Flávio Cruz, le ven. 09 sept. 2022 00:17:03 -0400, a ecrit: > Side question: pfinet includes glue header files in pfinet/glue-includes but a > linux version of those headers is also available in linux-src/include/. The > duplicated linux headers are never used since CPPFLAGS = -I$(srcdir)/ > glue-include $(srcdir)/linux-src/include. Is there a reason to keep those > linux > headers around?
I don't know. Samuel
