00:06:11
Jun 06, 2018
00:05:50
theories/examples/symbol (user: 48.87 mem: 832232 ko)make[1]: Target 'all' not remade because of errors.Makefile:6: recipe for target 'all' failedmake: *** [all] Error 2real 4m32.328suser 11m28.997ssys 0m13.593sERROR: Job failed: exit code 1