From 7616153392917a0d53a589a17d2302a86272213e Mon Sep 17 00:00:00 2001
From: Markus Zolliker <markus.zolliker@psi.ch>
Date: Fri, 1 May 2020 15:19:16 +0200
Subject: [PATCH] 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>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 05ee8b4..3b0d279 100644
--- a/Makefile
+++ b/Makefile
@@ -38,7 +38,7 @@ doc:
 	$(MAKE) -C doc html
 
 lint:
-	pylint -j $(shell nproc) -f colorized -r n --rcfile=.pylintrc secop secop_* test
+	pylint -j 0 -f colorized -r n --rcfile=.pylintrc secop secop_* test
 
 isort:
 	@find test -name '*.py' -print0 | xargs -0 isort -e -m 2 -w 80 -ns __init__.py