Before:
manticore$ time make -V nonexistent USETOOLS=no

       37.40 real        21.04 user        16.29 sys
manticore$ time make -V nonexistent USETOOLS=no

       37.53 real        20.85 user        16.58 sys
manticore$ time make -V nonexistent USETOOLS=no

       37.43 real        20.97 user        16.42 sys

After:
manticore$ time make -V nonexistent USETOOLS=no

        0.11 real         0.07 user         0.04 sys
manticore$ time make -V nonexistent USETOOLS=no

        0.11 real         0.06 user         0.04 sys
manticore$ time make -V nonexistent USETOOLS=no

        0.11 real         0.06 user         0.04 sys