Index: libgcc/config/vxlib.c
===================================================================
--- libgcc/config/vxlib.c	(revision 248673)
+++ libgcc/config/vxlib.c	(working copy)
@@ -70,7 +70,7 @@
       /* This can happen on powerpc, which is using all 32 bits
 	 of the gthread_once_t structure.  */
       if (guard->done)
-	return;
+	return 0;
 #endif
       taskDelay (1);
     }