Adrián Moreno

Results 32 comments of Adrián Moreno

Another look at this (this time with --help) yields a slightly different error message but pointing to the same area. ``` $ gdb -ex run --args python ./tools/cpudist.py 1 1...

Hi @courvoif , any chance this PR can be merged now?