[FYI] Merge branch 'micro' into maint

[Stefano Lattarini]

commit 86e45fe19374b87b6a9adaeb3ecc93e51c7d54a7
Merge: 8d71087 3ce4015
Author: Stefano Lattarini <address@hidden>
Date:   Thu May 23 20:12:17 2013 +0200

    Merge branch 'micro' into maint

    * micro:
      tests: avoid '$MAKE' redirections, use 'run_make' instead
      tests: avoid use of redirected 'run_make' invocations
      lint: warn against redirected 'run_make' invocations
      comments: next GNU make release 4.0, not 3.83
      tests: fix a potential spurious failure due to global config.site
      HACKING: it's OK to do testsuite refactoring in a micro version

    Signed-off-by: Stefano Lattarini <address@hidden>