diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci/check.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/scripts/ci/check.sh b/scripts/ci/check.sh index 431686802..85cee498c 100755 --- a/scripts/ci/check.sh +++ b/scripts/ci/check.sh @@ -1,14 +1,14 @@ #!/bin/bash set -e -"`dirname "$0"`"/build_x86_64.sh - -cd "$(dirname "$0")"/../.. - echo 1000 | tee /proc/sys/vm/nr_hugepages mkdir -p /mnt/huge mount -t hugetlbfs nodev /mnt/huge +"`dirname "$0"`"/build_x86_64.sh + +cd "$(dirname "$0")"/../.. + # Ignore possible failures there because these tests depends on measurements # and systems might differ in performance. export CI="true" |