Member walleye doesn't like this, since there is a separate .stdout file
for MinGW32. Will fix.

-- 
John Naylor
EDB: http://www.enterprisedb.com

Reply via email to