56d58e $supported_os and $JAVA_OS in configure do not always match

Authored and Committed by Dennis Gilmore 12 years ago
    $supported_os and $JAVA_OS in configure do not always match
    
    - on arches that override supported_os to be the arch we can not find headers
    
        
file modified
+7 -1