# HG changeset patch # User jwe # Date 1194369521 0 # Node ID b26d0cd10a424d2fa7b034a9135b5af269a360b1 # Parent 1ed1a94735a6f12cf61849bff550361bd6f2cb20 [project @ 2007-11-06 17:18:41 by jwe] diff -r 1ed1a94735a6 -r b26d0cd10a42 src/ChangeLog --- a/src/ChangeLog Tue Nov 06 17:13:30 2007 +0000 +++ b/src/ChangeLog Tue Nov 06 17:18:41 2007 +0000 @@ -1,3 +1,8 @@ +2007-11-06 Michael Goffioul + + * toplev.cc (Fsystem) [__WIN32__ && ! __CYGWIN__]: + Quote the complete command. + 2007-11-06 John W. Eaton * data.cc (Fnorm): New tests. diff -r 1ed1a94735a6 -r b26d0cd10a42 src/toplev.cc --- a/src/toplev.cc Tue Nov 06 17:13:30 2007 +0000 +++ b/src/toplev.cc Tue Nov 06 17:18:41 2007 +0000 @@ -531,6 +531,12 @@ if (! error_state) { +#if defined (__WIN32__) && ! defined (__CYGWIN__) + // Work around weird double-quote handling on Windows systems. + if (type == et_sync) + cmd_str = "\"" + cmd_str + "\""; +#endif + if (type == et_async) { // FIXME -- maybe this should go in sysdep.cc?