fix make -j
This patch avoids the wrong applications of rules when running make -j grade. Previously, this resulted in redundant failing runs that took time and left files such as .error and .output around.
Please register or sign in to comment
This patch avoids the wrong applications of rules when running make -j grade. Previously, this resulted in redundant failing runs that took time and left files such as .error and .output around.