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