This problem gets stranger and stranger. When running under gdb, it all works!
Here's the output. File 1 is the output of /bin/bash -x and file 2 the output of the gdb command.
This problem gets stranger and stranger. When running under gdb, it all works!
Here's the output. File 1 is the output of /bin/bash -x and file 2 the output of the gdb command.