Commit ef098fa615d758dcae99ad546286abe0cb23e8a1

Stefano Lattarini 2013-05-24T12:26:34

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