Peter Rugg 53549e0dbc Set number of cores using RISCY config instead of manual define ...

This was leading to -D NUM_CORES=2 -D NUM_CORES=1 in the command.
The NUM_CORES=2 seems to have been winning, but this is obviously
far from ideal.

2021-04-12 13:10:12 +01:00

5.0 KiB

Raw Blame History

View Raw