unofficial mirror of bug-guile@gnu.org 
 help / color / mirror / Atom feed
* bug#14193: Build system: touching ports.h fails to rebuild sockets.o and posix.o
@ 2013-04-12 15:08 Mark H Weaver
  2013-12-13  5:29 ` Mark H Weaver
  0 siblings, 1 reply; 2+ messages in thread
From: Mark H Weaver @ 2013-04-12 15:08 UTC (permalink / raw)
  To: 14193

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.

Andy pointed out that this probably has to do with the special handling
of sockets.c and posix.c:

* Both are conditionally included depending on configuration.

* Their object files don't include "libguile_2.0_la" in the names.

     Mark





^ permalink raw reply	[flat|nested] 2+ messages in thread

* bug#14193: Build system: touching ports.h fails to rebuild sockets.o and posix.o
  2013-04-12 15:08 bug#14193: Build system: touching ports.h fails to rebuild sockets.o and posix.o Mark H Weaver
@ 2013-12-13  5:29 ` Mark H Weaver
  0 siblings, 0 replies; 2+ messages in thread
From: Mark H Weaver @ 2013-12-13  5:29 UTC (permalink / raw)
  To: 14193-done

Mark H Weaver <mhw@netris.org> 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





^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2013-12-13  5:29 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-04-12 15:08 bug#14193: Build system: touching ports.h fails to rebuild sockets.o and posix.o Mark H Weaver
2013-12-13  5:29 ` Mark H Weaver

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).