Follow-up Comment #3, bug #54529 (project make):
OK, the only system for which this bugs actually shows up, is work build
server, and unfortunately, the IT guy does not know where the cores are, and
gdb is not working. Let me talk to him about fixing gdb and I will get back
to you what I find from it.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?54529>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
