Markus Zolliker 7616153392 fix pylint command in Makefile ...

'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>

2020-05-04 16:30:16 +02:00

1.5 KiB

Raw Permalink Blame History

View Raw