• Andrew Dunstan's avatar
    Honor PROVE_FLAGS environment setting · 56b6ef89
    Andrew Dunstan authored
    On MSVC builds and on back branches that means removing the hardcoded
    --verbose setting. On master for Unix that means removing the empty
    setting in the global Makefile so that the value can be acquired from
    the environment as well as from the make arguments.
    
    Backpatch to 9.4 where we introduced TAP tests
    56b6ef89
Makefile.global.in 27 KB