[Agda-dev] What's up with Travis?

[Andrés Sicard-Ramírez]

On 12 February 2016 at 03:26, Ulf Norell <ulf.norell at gmail.com> wrote:
> Wow, -j32? What kind of monster machine is Travis running? On my machine
> with 4 physical cores -j4 is slower than -j3, so I would expect -j32 to be a
> bad idea.

The value 32 comes from

  jobs: $ncpus

which is the default configuration in the Cabal configuration file
(.cabal/config).


-- 
Andrés