diff options
| -rwxr-xr-x | devel/pycocci | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/pycocci b/devel/pycocci index 4aa1d363..eb072a7d 100755 --- a/devel/pycocci +++ b/devel/pycocci @@ -155,7 +155,7 @@ def _main(): if args.profile_cocci: extra_spatch_args.append('--profile') jobs = 0 - if args.jobs > 0: + if args.jobs is not None and args.jobs > 0: jobs = args.jobs output = threaded_spatch(args.cocci_file, |