On 05/29/14 12:57, Hector Oron wrote:
Apologies for delay. Find attached file.
Enough of a delay has gone by that the final 5.18.3 version is now out.
I believe it addresses the experienced issue.
To the best I can determine, this code:
die() {
echo "Killing AutoGen ${AG_pid}"
echo "FAILURE REASON: $*"
kill -15 ${AG_pid}
kill -1 ${AG_pid}
kill -2 ${AG_pid}
exit 1
} >&8
sends out kill signals too quickly causing the kernel to get all confused.
Using this code instead:
die() {
echo "Killing AutoGen ${AG_pid}"
echo "FAILURE REASON: $*"
kill -15 ${AG_pid}
sleep 1
kill -1 ${AG_pid}
sleep 1
kill -2 ${AG_pid}
sleep 1
kill -9 ${AG_pid}
exit 1
} >&8
seems to resolve the problem. Please retest. Thank you.
http://ftp.gnu.org/gnu/autogen/rel5.18.3/autogen-5.18.3.tar.xz
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
