diff options
Diffstat (limited to 'scripts/ci/check_inline_timer.sh')
-rwxr-xr-x | scripts/ci/check_inline_timer.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/ci/check_inline_timer.sh b/scripts/ci/check_inline_timer.sh new file mode 100755 index 000000000..48800be35 --- /dev/null +++ b/scripts/ci/check_inline_timer.sh @@ -0,0 +1,16 @@ +#!/bin/bash +set -e + +echo 1000 | tee /proc/sys/vm/nr_hugepages +mkdir -p /mnt/huge +mount -t hugetlbfs nodev /mnt/huge + +"`dirname "$0"`"/build_${ARCH}.sh + +cd "$(dirname "$0")"/../.. + +ODP_SCHEDULER=basic ./test/validation/api/timer/timer_main +ODP_SCHEDULER=sp ./test/validation/api/timer/timer_main +ODP_SCHEDULER=scalable ./test/validation/api/timer/timer_main + +umount /mnt/huge |