1#! /bin/bash 2 3profile=${1:-default} 4 5if [ ! $SCRIPTS_DIR ]; then 6 # assume we're running standalone 7 export SCRIPTS_DIR=../../scripts/ 8fi 9 10source $SCRIPTS_DIR/setenv.sh 11 12$SCRIPTS_DIR/run_c_files.sh $profile "hrtimer-prio" 13
1#! /bin/bash 2 3profile=${1:-default} 4 5if [ ! $SCRIPTS_DIR ]; then 6 # assume we're running standalone 7 export SCRIPTS_DIR=../../scripts/ 8fi 9 10source $SCRIPTS_DIR/setenv.sh 11 12$SCRIPTS_DIR/run_c_files.sh $profile "hrtimer-prio" 13