Index: gcc.dg/webizer.c
===================================================================
--- gcc.dg/webizer.c	(revision 192651)
+++ gcc.dg/webizer.c	(working copy)
@@ -32,4 +32,5 @@ configure2()
 main()
 {
   configure2();
+  __builtin_exit (0);
 }
