diff options
Diffstat (limited to 'bashrc')
-rw-r--r-- | bashrc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -90,6 +90,7 @@ bloatysizes() { bloaty -s vm --domain=vm -d symbols -C full -n 0 $TARGET | tee /var/tmp/bloaty } +CORES=$(grep core\ id /proc/cpuinfo | wc -l) CPUS=$(grep core\ id /proc/cpuinfo -c) if [ -n "$DISTCC_HOSTS" ] ; then TASKS=$(echo $DISTCC_HOSTS | tr ' ' '\n' | cut -d / -f2 | paste -s -d+ | bc) |