Re: libdirmgt, possibly dead code

2021-10-16 Thread Samuel Thibault
Hello, Andrea Monaco, le jeu. 14 oct. 2021 11:44:02 +0200, a ecrit: > it seems that directory libdirmgt in hurd is dead. It is ignored by > top-level Makefile, and it contains just a header file. Indeed, I have now dropped it. Samuel

Re: libdirmgt, possibly dead code

2021-10-14 Thread jbranso
October 14, 2021 5:47 AM, "Andrea Monaco" wrote: > Hello, > > it seems that directory libdirmgt in hurd is dead. It is ignored by > top-level Makefile, and it contains just a header file. I would encourage you to make a git patch and post it here. :) > > Warmly, > > Andrea Monaco

libdirmgt, possibly dead code

2021-10-14 Thread Andrea Monaco
Hello, it seems that directory libdirmgt in hurd is dead. It is ignored by top-level Makefile, and it contains just a header file. Warmly, Andrea Monaco