Closed lexman closed 6 years ago
Even though we aim at implementing a distributed parallelization system, a simpler one (yet available sooner) would be usefull.
We could use the same syntax as Make : -jobs N would specify the number of workers from the command line
Make
-jobs N
Done in V0.5
Even though we aim at implementing a distributed parallelization system, a simpler one (yet available sooner) would be usefull.
We could use the same syntax as
Make
:-jobs N
would specify the number of workers from the command line