fixed 460569 6.7.1-2 thanks Hmm, I have to correct myself. It did not work when I reopened; and I did verify at the time that I did run the correct version of gdb on my machine. However, after yet another update, all seems fine now. I'm not sure what exactly happened, but to me, this version of gdb is fixed -- <Lo-lan-do> Home is where you have to wash the dishes. -- #debian-devel, Freenode, 2004-09-22