3f88d62 Fix _mingw32_configure.

Authored and Committed by rjones 15 years ago
    Fix _mingw32_configure.
    
        
file modified
+1 -1
file modified
+4 -1