From cefa7ec5dc55ea03c0518670c3622043a535676c Mon Sep 17 00:00:00 2001 From: Matthias Grob Date: Thu, 17 Oct 2019 14:27:06 +0200 Subject: [PATCH] arch.sh: use nproc instead of grepping /proc/cpuinfo --- Tools/setup/arch.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/setup/arch.sh b/Tools/setup/arch.sh index 3550174326..58299ef70f 100644 --- a/Tools/setup/arch.sh +++ b/Tools/setup/arch.sh @@ -138,7 +138,7 @@ if [[ $INSTALL_SIM == "true" ]]; then ; # enable multicore gazebo compilation - sudo sed -i '/MAKEFLAGS=/c\MAKEFLAGS="-j'$(($(grep -c processor /proc/cpuinfo)+2))'"' /etc/makepkg.conf + sudo sed -i '/MAKEFLAGS=/c\MAKEFLAGS="-j'$(($(nproc)+2))'"' /etc/makepkg.conf # install gazebo from AUR yay -S gazebo --noconfirm