# HG changeset patch
# User Kai T. Ohlhus <k.ohlhus@gmail.com>
# Date 1580176809 -32400
# Node ID 8933b2985dd5cc385fb3c054c20a5d2866229038
# Parent  c45a0d7e9385e8575f946dc7fb86996ae4ade710# Parent  eb46a9f471647626d3a199e40d0c235d54e2b256
maint: merge stable to default.

diff -r c45a0d7e9385 -r 8933b2985dd5 scripts/miscellaneous/mkoctfile.m
--- a/scripts/miscellaneous/mkoctfile.m	Mon Jan 27 10:34:00 2020 -0800
+++ b/scripts/miscellaneous/mkoctfile.m	Tue Jan 28 11:00:09 2020 +0900
@@ -219,6 +219,11 @@
   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