1 #! /bin/bash 2 3 profile=${1:-default} 4 5 if [ ! $SCRIPTS_DIR ]; then 6 # assume we're running standalone 7 export SCRIPTS_DIR=../../scripts/ 8 fi 9 10 source $SCRIPTS_DIR/setenv.sh 11 12 13 # This is a temporary workaround for previous 14 # loop support patch which seems to be having 15 # issues right now. 16 17 LOG_FILE="$LOG_DIR/$LOG_FORMAT-rdtsc-latency.log" 18 $SCRIPTS_DIR/run_c_files.sh $profile "rdtsc-latency" 19 20 LOG_FILE="$LOG_DIR/$LOG_FORMAT-preempt_timing.log" 21 $SCRIPTS_DIR/run_c_files.sh $profile "preempt_timing" 22
