-
Pierre-Yves David authored
taskset is kind of machine specific and also linux specific. Moving it to the "main" script make it simpler to use launch.py in many context. Ideally, ASV would deal with it itself when spawning process
Pierre-Yves David authoredtaskset is kind of machine specific and also linux specific. Moving it to the "main" script make it simpler to use launch.py in many context. Ideally, ASV would deal with it itself when spawning process