3 ms·You are compiling it with "make -j 8" (or -j 4), right?by kurlberg 8y agoYou are compiling it with "make -j 8" (or -j 4), right?TeMPOraL 8y agoOh. Thanks!