Parcourir la source

More neutral message

 + Some commands (like diff) have non-zero exit status even without error. This
 message is more neutral.
Leo il y a 7 ans
Parent
commit
dfa74411c5
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      src/exec_cmd.ml

+ 1 - 1
src/exec_cmd.ml

@@ -112,7 +112,7 @@ let display_result command status =
   match status with
   match status with
   | 0 -> (* No problem, do nothing *) ()
   | 0 -> (* No problem, do nothing *) ()
   | _ -> (* Problem occur, report it *)
   | _ -> (* Problem occur, report it *)
-    sprintf "Problem while running: '%s'\nExited with code: %i\n"
+    sprintf "Command '%s' exited with code: %i\n"
       command status
       command status
     |> Messages.warning
     |> Messages.warning
 ;;
 ;;