26 Sep
2017
26 Sep
'17
7:28 a.m.
2017-09-25 19:19 GMT+02:00, John Mercouris <jmercouris@gmail.com>:
Any ideas on how to proceed would be very useful, thank you,
Another (generic) observation: It seems that your terminal uses a debugger (automatically?). If I want to use gdb on Linux, I need a ~/.gdbinit file with these lines: handle SIGPWR nostop noprint handle SIGXCPU nostop noprint (Because these signals are used by ECL, and are no errors.)
-John