Control: fixed 835439 10.1-2
Looking through my old Debian bug reports, I found this one that I'm still
in a position to test, and I can confirm that the problem is fixed (and
probably has been for several years):
wraith:/tmp/hello$ cat > hello.c
#include <stdio.h>
int main(int argc, char **argv)
{
printf("hello, world\n");
return 0;
}
wraith:/tmp/hello$ gcc -o hello hello.c
wraith:/tmp/hello$ gdb --quiet --write hello
Reading symbols from hello...
(No debugging symbols found in hello)
(gdb) quit
wraith:/tmp/hello$
--
Ben Harris, University of Cambridge Information Services.
