------- Comment #3 from ebotcazou at gcc dot gnu dot org 2009-02-28 11:38 ------- Is there a 64-bit GDB around on the machine?
ebotca...@gcc40:~$ gdb pack3 GNU gdb 6.4.90-debian Copyright (C) 2006 Free Software Foundation, Inc. GDB is free software, covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under certain conditions. Type "show copying" to see the conditions. There is absolutely no warranty for GDB. Type "show warranty" for details. This GDB was configured as "powerpc-linux-gnu"..."/home/ebotcazou/pack3": not in executable format: File format not recognized -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39264
