Interaction of -B and -u
texttheater opened this issue · comments
Need to check if Produce behaves sanely if we have both -B and -u.
-u overrules -B, which makes sense because otherwise -u would be meaningless with -B.
Replacement for Make geared towards processing data rather than compiling code
texttheater opened this issue · comments
Need to check if Produce behaves sanely if we have both -B and -u.
-u overrules -B, which makes sense because otherwise -u would be meaningless with -B.