[FYI] Merge branch 'micro' into maint

[Stefano Lattarini]

commit ac13ca500648395417e5d9bcf110475b42841bee
Merge: aba3b0a d19eb85
Author: Stefano Lattarini <stefano.lattar...@gmail.com>
Date:   Fri May 24 12:17:59 2013 +0200

    Merge branch 'micro' into maint

    * micro:
      tests: use append mode to capture parallel make output
      tests: new convenience target 'check-parallel'

    Signed-off-by: Stefano Lattarini <stefano.lattar...@gmail.com>