diff Makefile @ 138:b01dac674beb

Discard stdout output that occurs in between our own outputs (e.g. from plugin)
author Chris Cannam <c.cannam@qmul.ac.uk>
date Thu, 12 Jan 2017 08:49:26 +0000 (2017-01-12)
parents ea06fae1567c
children bf8e3e7dd7de
line wrap: on
line diff