From c79f1424fd1f955e6efdf11449f811a89fc0a75d Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Wed, 30 May 2018 11:40:47 +0200
Subject: [PATCH] Fix call to nproc

---
 Scripts/developer_scripts/cgal_check_dependencies.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Scripts/developer_scripts/cgal_check_dependencies.sh b/Scripts/developer_scripts/cgal_check_dependencies.sh
index 551eeef24ab..b3290f8a5a8 100644
--- a/Scripts/developer_scripts/cgal_check_dependencies.sh
+++ b/Scripts/developer_scripts/cgal_check_dependencies.sh
@@ -32,7 +32,7 @@ done
 
 cmake -DCGAL_HEADER_ONLY=FALSE -DCGAL_ENABLE_CHECK_HEADERS=TRUE -DDOXYGEN_EXECUTABLE="$DOX_PATH" -DCGAL_COPY_DEPENDENCIES=TRUE -DCMAKE_CXX_FLAGS="-std=c++11" ..
 if [ -n "$DO_CHECK_HEADERS" ]; then
-    make -j$(nprc --all) -k check_headers
+    make -j$(nproc --all) -k check_headers
 fi
 make -j$(nproc --all) -k packages_dependencies
 echo " Checks finished"