[Bug target/54631] vxworks.c fails to compile

[dnovillo at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54631



--- Comment #3 from Diego Novillo <dnovillo at gcc dot gnu.org> 2012-09-20 
17:58:34 UTC ---

Should be fixed in trunk.  Robert, could you please double check?



Thanks.