diff --git a/scripts/run.sh b/scripts/run.sh index d5b3d0b243f362485cb090453f8d84d623bd8551..8444f20335ebb5ebfc43aa5cafec9d905dd61f16 100755 --- a/scripts/run.sh +++ b/scripts/run.sh @@ -1,13 +1,14 @@ -#!/bin/bash +#!/bin/bash SYSCALL="getpid" -BUILD=../build +BUILD="$(dirname $0)/../build" +ITERATIONS=100000000 REPEATS=20 ARCH="$(uname -m 2>/dev/null || echo -n unknown)" -NATIVE="$BUILD/opendevnull --syscall $SYSCALL" -INTERC="$BUILD/opendevnull --syscall $SYSCALL" -SC2SC="$BUILD/opendevnull --syscall $SYSCALL --always_syscall" +NATIVE="$BUILD/opendevnull --syscall $SYSCALL --reps $ITERATIONS" +INTERC="$BUILD/opendevnull --syscall $SYSCALL --reps $ITERATIONS" +SC2SC="$BUILD/opendevnull --syscall $SYSCALL --reps $ITERATIONS --always_syscall" # Arrays to store output values