mit-plv/bedrock2

make -k does not build compiler if bedrock2 fails

andres-erbsen opened this issue · 1 comments

andres-erbsen commented
make -k does not build compiler if bedrock2 fails
JasonGross commented

You can fix this by making bedrock2 an order-only prerequisite of compiler, i.e., compiler: | bedrock2

  • 👍1