diff options
| author | Dmitry Eremin-Solenikov <dmitry.ereminsolenikov@linaro.org> | 2018-08-27 04:12:58 +0300 |
|---|---|---|
| committer | Maxim Uvarov <maxim.uvarov@linaro.org> | 2018-08-29 16:41:32 +0300 |
| commit | 0ff72a3e3c9e7cbfde3d2b7d088a49e248fc779a (patch) | |
| tree | 06776ba7cfcc9807d856f2e7ab6abc3e4f516c4c /scripts | |
| parent | 39e3b88db39174279c1902a0153c6efeed894c5b (diff) | |
travis: restore quick build-only testing
Signed-off-by: Dmitry Eremin-Solenikov <dmitry.ereminsolenikov@linaro.org>
Signed-off-by: Maxim Uvarov <maxim.uvarov@linaro.org>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci/build_x86_64.sh | 11 | ||||
| -rwxr-xr-x | scripts/ci/check.sh | 17 |
2 files changed, 17 insertions, 11 deletions
diff --git a/scripts/ci/build_x86_64.sh b/scripts/ci/build_x86_64.sh index b9b170659..2ed2e005a 100755 --- a/scripts/ci/build_x86_64.sh +++ b/scripts/ci/build_x86_64.sh @@ -12,14 +12,3 @@ cd "$(dirname "$0")"/../.. ${CONF} make -j 8 - -echo 1000 | tee /proc/sys/vm/nr_hugepages -mkdir -p /mnt/huge -mount -t hugetlbfs nodev /mnt/huge - -# Ignore possible failures there because these tests depends on measurements -# and systems might differ in performance. -export CI="true" -make check - -umount /mnt/huge diff --git a/scripts/ci/check.sh b/scripts/ci/check.sh new file mode 100755 index 000000000..431686802 --- /dev/null +++ b/scripts/ci/check.sh @@ -0,0 +1,17 @@ +#!/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 + +# Ignore possible failures there because these tests depends on measurements +# and systems might differ in performance. +export CI="true" +make check + +umount /mnt/huge |