diff Makefile.linux @ 84:980e092d7ee2

If one plugin fails, continue trying the others - don't just give up
author Chris Cannam
date Thu, 10 Jan 2019 15:36:32 +0000
parents a51a335fbdf4
children d5220acc1403
line wrap: on
line diff