diff options
| author | Guillaume Chatelet <gchatelet@google.com> | 2018-02-16 14:38:05 +0100 |
|---|---|---|
| committer | Guillaume Chatelet <gchatelet@google.com> | 2018-02-16 14:38:05 +0100 |
| commit | 9233afb83bc26ebfe7659b5d5fb4beb808a3a300 (patch) | |
| tree | 7e623d7269faff9a4b70f16a4ee224b70bd20163 /scripts | |
| parent | 6446b425679c529bd93415ea13e9b58a8ead1a15 (diff) | |
| download | cpu_features-9233afb83bc26ebfe7659b5d5fb4beb808a3a300.tar.gz | |
Remove non standard tools
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/run_integration.sh | 12 |
1 files 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 |