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 13# This is a temporary workaround for previous 14# loop support patch which seems to be having 15# issues right now. 16 17LOG_FILE="$LOG_DIR/$LOG_FORMAT-rdtsc-latency.log" 18$SCRIPTS_DIR/run_c_files.sh $profile "rdtsc-latency" 19 20LOG_FILE="$LOG_DIR/$LOG_FORMAT-preempt_timing.log" 21$SCRIPTS_DIR/run_c_files.sh $profile "preempt_timing" 22