--- tools/debugedit.c	2013/08/08 15:53:36	2.23.2.10
+++ tools/debugedit.c	2013/08/08 16:39:05	2.23.2.11
@@ -1632,17 +1632,11 @@
 	  /* TODO: Handle stabs */
 	  if (strcmp (name, ".stab") == 0)
 	    {
+	      fprintf (stderr, "Stabs debuginfo not supported: %s\n", file);
+	      exit (1);
-	      fprintf (stderr, "Warning: Stabs debuginfo currently not supported: %s\n", file);
-	      break;
 	    }
-		/* The core DWARF data  containing DIEs */
 	  if (strcmp (name, ".debug_info") == 0)
 	    edit_dwarf2 (dso);
-		else 
-			 {
-	      fprintf (stderr, "Failed to produce debuginfo: debug format not supported: %s\n", name);
-				exit(1);
-			 }
 
 	  break;
 	case SHT_NOTE: