80fec1c configure builds with ghc -O2 (#880135)

Authored and Committed by petersen 10 years ago
    configure builds with ghc -O2 (#880135)
    
        
file modified
+1 -1
file modified
+4 -1