e3c2d6f Removed the -O3 flag

Authored and Committed by Patrick Uiterwijk 11 years ago
    Removed the -O3 flag
    
        
file modified
+4 -1