721beeb no-prof: add a %ghc_profiling override

Authored and Committed by petersen 3 months ago
    no-prof: add a %ghc_profiling override
    
        
file modified
+2 -1