comparison scripts/miscellaneous/mkoctfile.m @ 28120:a578890b4942 stable

Backed out changeset: eb46a9f47164
author Markus Mützel <markus.muetzel@gmx.de>
date Fri, 21 Feb 2020 16:08:12 +0100
parents 8933b2985dd5
children 0a5b15007766
comparison
equal deleted inserted replaced
28119:74bc925ae235 28120:a578890b4942
217 if (! exist (shell_script, "file")) 217 if (! exist (shell_script, "file"))
218 __gripe_missing_component__ ("mkoctfile", "mkoctfile"); 218 __gripe_missing_component__ ("mkoctfile", "mkoctfile");
219 endif 219 endif
220 220
221 cmd = ['"' shell_script '"']; 221 cmd = ['"' shell_script '"'];
222 if (ispc () && isguirunning ())
223 ## FIXME: Remove this branch when the MS Windows GUI terminal widget can
224 ## properly handle colors (bug #57658).
225 cmd = [cmd ' "-fdiagnostics-color=never"'];
226 endif
227 for i = 1:nargin 222 for i = 1:nargin
228 cmd = [cmd ' "' varargin{i} '"']; 223 cmd = [cmd ' "' varargin{i} '"'];
229 endfor 224 endfor
230 225
231 [sts, out] = system (cmd); 226 [sts, out] = system (cmd);