Colomban Wendling 5c893e9b0e Windows: fix spawning commands with spaces
Fix spawnning command under Windows when they contain spaces in both
the executable and the arguments.  Apparently system() quoting is
unexpected, and doesn't work properly if there is more than 2 quotes
in the whole command.

To work this around, spawn the command through `cmd.exe /S /C`.
2014-02-19 15:53:25 +01:00
..
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2014-01-14 12:50:37 -05:00
2012-08-24 19:25:57 +02:00
2012-10-08 20:08:06 +02:00
2013-03-10 17:00:01 +01:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2013-05-25 16:49:06 -07:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2013-05-25 16:49:06 -07:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2013-12-04 15:31:17 +01:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2012-08-24 19:25:57 +02:00
2013-12-04 15:46:05 +01:00
2013-12-04 15:46:05 +01:00