Hi Ben, I did the following test this weekend: -Power off the machine -Remove the USB dongle (taint?) -Power up the machine -Log in and run doxygen as before
It still crashes. This is, seemingly, the related message: Apr 14 06:37:59 Debianosaur kernel: [137278.487402] doxygen[2535]: segfault at 0 ip 000000000065638c sp 00007fffa65be680 error 4 in doxygen[400000+4f0000] Then again, the machine is still responsive, so this looks like it may be more of a bug in doxygen than in the kernel. Thanks for your help nonetheless. Regards, Olivier -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
