Hi
you should probably mention the gdb "core-file" command to reload the core file so that you constantly get up-to-date values of what you're printing.
Thanks, nice catch....updated. regards, Mulyadi -- To unsubscribe from this list: send an email with "unsubscribe kernelnewbies" to ecartis@xxxxxxxxxxxx Please read the FAQ at http://kernelnewbies.org/FAQ