Travis CI: ninja is definitely a no-go, so back to good old make.
Travis CI: ninja is definitely a no-go, so back to good old make.

Actually, ninja works on Ubuntu using “-j 3”, but not on OS X (even
with “-j 3”).

mirams/opencor,mirams/opencor,mirams/opencor,mirams/opencor,mirams/opencor