changeset 28125:a578890b4942 stable

Backed out changeset: eb46a9f47164
author Markus Mützel <markus.muetzel@gmx.de>
date Fri, 21 Feb 2020 16:08:12 +0100
parents 74bc925ae235
children 865f8ddb2c78 9413b3d56e00
files scripts/miscellaneous/mkoctfile.m
diffstat 1 files changed, 0 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- 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