00c13d3 production build; use %ghc_bootstrapping to control bootstrap setup

Authored and Committed by petersen 2 years ago
1 file changed. 12 lines added. 6 lines removed.
    production build; use %ghc_bootstrapping to control bootstrap setup
    
        
file modified
+12 -6