From 9233afb83bc26ebfe7659b5d5fb4beb808a3a300 Mon Sep 17 00:00:00 2001
From: Guillaume Chatelet <gchatelet@google.com>
Date: Fri, 16 Feb 2018 14:38:05 +0100
Subject: [PATCH] Remove non standard tools

---
 scripts/run_integration.sh | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/scripts/run_integration.sh b/scripts/run_integration.sh
index c1bd6b9..7225032 100755
--- a/scripts/run_integration.sh
+++ b/scripts/run_integration.sh
@@ -1,10 +1,10 @@
 #!/bin/bash
 
-SCRIPT_FOLDER=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
-PROJECT_FOLDER=`realpath "${SCRIPT_FOLDER}/.."`
-ARCHIVE_FOLDER=~/archives
-QEMU_INSTALL=${ARCHIVE_FOLDER}/qemu
-DEFAULT_CMAKE_ARGS=" -DCMAKE_BUILD_TYPE=Debug -DBUILD_TESTING=ON"
+readonly SCRIPT_FOLDER=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
+readonly PROJECT_FOLDER="${SCRIPT_FOLDER}/.."
+readonly ARCHIVE_FOLDER=~/archives
+readonly QEMU_INSTALL=${ARCHIVE_FOLDER}/qemu
+readonly DEFAULT_CMAKE_ARGS=" -DCMAKE_BUILD_TYPE=Debug -DBUILD_TESTING=ON"
 
 function extract() {
   case $1 in
@@ -76,7 +76,7 @@ function assert_defined(){
 function integrate() {
   cd ${PROJECT_FOLDER}
   cmake -H. -B${BUILD_DIR} ${DEFAULT_CMAKE_ARGS} ${CMAKE_ADDITIONAL_ARGS}
-  cmake --build ${BUILD_DIR} --target all -- -j `nproc`
+  cmake --build ${BUILD_DIR} --target all
 
   if [[ -n "${QEMU_ARCH}" ]]; then
     if [[ "${QEMU_ARCH}" == "DISABLED" ]]; then