diff configure @ 129:7a7a46d4bd3c

Fail explicitly if a nonexistent plugin output is requested
author Chris Cannam
date Fri, 10 Oct 2014 15:00:47 +0100
parents 5fe1f2efd407
children ee56e3e9eeb5
line wrap: on
line diff