http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50946
--- Comment #2 from Konstantinos Margaritis <konstantinos.margaritis at linaro dot org> 2011-11-01 21:15:29 UTC --- This is the actual cmd line used: g++ -O2 -mfpu=vfpv3 -mfloat-abi=hard -march=armv7-a -mthumb -fpermissive -w -c webkit_testcase-min.i The Debian armhf package is based on SVN 20111028 (r180603) from the gcc-4_6-branch.
