http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48961
--- Comment #11 from Thomas Henlich <thenlich at users dot sourceforge.net> 2011-05-15 09:13:28 UTC --- (In reply to comment #9) > Thus, I do not see how one can solve this better than currently done. We might call system() in a separate thread instead of a separate process which is more efficient and would also work on Windows.
