Make "make check" quieter; use "make verbosecheck" for the old behaviour.
Make "make check" quieter; use "make verbosecheck" for the old behaviour.
FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs