Improve --profile

evhub · May 26, 2024 · e2d8a20 · e2d8a20
1 parent 2b4edd0
commit e2d8a20
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/coconut/command/command.py b/coconut/command/command.py
@@ -740,6 +740,8 @@ def handling_exceptions(self, exit_on_error=None, error_callback=None):
 
     def set_jobs(self, jobs, profile=False):
         """Set --jobs."""
+        if profile and jobs is None:
+            jobs = 0
         if jobs in (None, "sys"):
             self.jobs = jobs
         else: