[Freeciv-Dev] (PR#9944) patch: avoid a parallel build race condition wit
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
To: |
undisclosed-recipients: ; |
Subject: |
[Freeciv-Dev] (PR#9944) patch: avoid a parallel build race condition with generate_packets.py |
From: |
"Benoit Hudson" <bh@xxxxxxxxxxxxxxxxxxx> |
Date: |
Sat, 4 Sep 2004 17:59:39 -0700 |
Reply-to: |
rt@xxxxxxxxxxx |
<URL: http://rt.freeciv.org/Ticket/Display.html?id=9944 >
If you do make -j2, and packets_gen.[ch] are both out of date, then it's quite
likely that you
will end up running two copies of generate_packets.py. This means there's an
obvious race
condition going on. The attached patch fixes this.
packets_gen_parallel_build_fix.diff
Description: Binary data
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Freeciv-Dev] (PR#9944) patch: avoid a parallel build race condition with generate_packets.py,
Benoit Hudson <=
|
|