comparison 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
comparison
equal deleted inserted replaced
83:ef4989f33648 84:980e092d7ee2