# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1582297692 -3600
# Node ID a578890b4942eea2aab3817b166b56499e9ec309
# Parent  74bc925ae235b2595831d6376b16fedbc243b4f2
Backed out changeset: eb46a9f47164

diff -r 74bc925ae235 -r a578890b4942 scripts/miscellaneous/mkoctfile.m
--- a/scripts/miscellaneous/mkoctfile.m	Mon Feb 17 21:04:52 2020 -0500
+++ b/scripts/miscellaneous/mkoctfile.m	Fri Feb 21 16:08:12 2020 +0100
@@ -219,11 +219,6 @@
   endif
 
   cmd = ['"' shell_script '"'];
-  if (ispc () && isguirunning ())
-    ## FIXME: Remove this branch when the MS Windows GUI terminal widget can
-    ##        properly handle colors (bug #57658).
-    cmd = [cmd ' "-fdiagnostics-color=never"'];
-  endif
   for i = 1:nargin
     cmd = [cmd ' "' varargin{i} '"'];
   endfor