src/Pure/Tools/dump.scala

               exclude_sessions = exclude_sessions,
               session_groups = session_groups,
               sessions = sessions))
         }
 
-      if (!ok) sys.exit(1)
+      if (!ok) sys.exit(2)
     })
 }