Installing the two updates mingw-runtime-1.3.1 and w32api-1.3.1 leads to the creation of a brand new directory /include/ containing subdirectories /mingw/ and /w32api/ with contents; this, rather than updating the contents of existing subdirectories /usr/include/mingw/ and /usr/include/w32api/. Correct behaviour? Fergus
-- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Bug reporting: http://cygwin.com/bugs.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/