--- tools/debugedit.c.stabs	2011-07-29 14:32:45.000000000 +0200
+++ tools/debugedit.c	2011-07-29 14:32:50.000000000 +0200
@@ -1657,7 +1657,7 @@
 	  if (strcmp (name, ".stab") == 0)
 	    {
 	      fprintf (stderr, "Stabs debuginfo not supported: %s\n", file);
-	      exit (1);
+	      break;
 	    }
 	  if (strcmp (name, ".debug_info") == 0)
 	    edit_dwarf2 (dso);