Hi Ales and Charles, Ales Hvezda writes: > [...] > Also you asked about debugging. The fastest and easiest way > is to remove all the #pline from the C source and rebuild and then debug. >
There is a better way: tell gdb where to look for the source files with the directory command. See http://sources.redhat.com/gdb/current/onlinedocs/gdb_8.html#SEC53 This way the line numbers gdb print are the right numbers in the noweb file (provided you turned off the source indentation after tangling as it may break long lines). Patrick
