Brian Anderson
4ae6c835cb
Add some hacks to get stdin piping working more correctly in windows
...
The way pipes work in windows is not the same as unix, though I'm not
entirely clear on the differences. This patch changes the windows pipe
method to return non-inheritable fds, and the windows rust_run_program
method to duplicate them before spawning the new process.
This allows make-check-pretty to work on windows.
2011-08-03 15:09:00 -07:00
..
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-08-01 18:55:51 -07:00
2011-08-01 15:58:39 -07:00
2011-07-27 15:54:33 +02:00
2011-07-29 12:58:52 -07:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-29 14:03:24 +02:00
2011-08-02 10:39:14 -07:00
2011-07-29 18:48:15 -07:00
2011-07-27 15:54:33 +02:00
2011-07-29 18:48:15 -07:00
2011-07-27 15:54:33 +02:00
2011-07-29 18:48:15 -07:00
2011-07-29 18:48:15 -07:00
2011-07-27 15:54:33 +02:00
2011-07-27 17:19:46 +02:00
2011-07-29 14:03:24 +02:00
2011-07-29 14:03:24 +02:00
2011-07-27 15:54:33 +02:00
2011-07-29 18:48:15 -07:00
2011-07-29 18:48:15 -07:00
2011-08-01 18:55:51 -07:00
2011-08-02 15:00:51 -07:00
2011-07-27 15:54:33 +02:00
2011-07-28 10:47:29 -07:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-08-02 10:39:13 -07:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-07-27 15:54:33 +02:00
2011-08-01 17:51:37 +02:00
2011-07-27 15:54:33 +02:00
2011-08-03 15:09:00 -07:00