[doit] count the number of cpus on linux and double it for PARALLEL
tree8d29da3f9d18a9863f3d2e1c983ed035ed67d917
-rw-r--r-- 586 binutils-patch.txt
-rwxr-xr-x 192 cleanit
-rwxr-xr-x 3298 doit
-rw-r--r-- 3582 gcc-patch.txt
-rw-r--r-- 0 gdb-patch.txt
-rw-r--r-- 41 toolvers