dee7eed Fixes generation of configure

Authored and Committed by Zdenek Prikryl 15 years ago
    Fixes generation of configure
    
        
file modified
+2 -0