Subject: Re: bug#14193: Build system: touching ports.h fails to rebuild sockets.o and posix.o

From: Mark H Weaver <[email-masked]>
Date: Fri, 13 Dec 2013 00:29:54 -0500

Mark H Weaver <[email-masked]> writes:
> Touching ports.h fails to rebuild sockets.o and posix.o.  Both sockets.c
> and posix.c include fports.h, which includes ports.h, so this rebuild
> should be automatic.

Tom Tromey fixed this in 2bbdd2ce1c11ba05a6b6a508f7a91c5ca7392492.
I'm closing this bug.

      Mark