Forked from
Core Modules / dune-common
Source project has a limited visibility.
-
Christoph Grüninger authored
The warning with more then one job was: "make[1]: warning: jobserver unavailable: using -j1. Add `+' to parent make rule." Still, I get no speedup for -jN with N > 1.
Christoph Grüninger authoredThe warning with more then one job was: "make[1]: warning: jobserver unavailable: using -j1. Add `+' to parent make rule." Still, I get no speedup for -jN with N > 1.