'pylint -j 0' is the same as 'pylint -j $(shell nproc)' but does work with shells without 'nproc' command Change-Id: I1c8c863a4eed5d653477025ada4840c2b0381432 Reviewed-on: https://forge.frm2.tum.de/review/c/sine2020/secop/playground/+/23033 Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de> Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
Description
PSI local frappy repo, probably ahead of git/gerrit at MLZ
Languages
Python
99.9%