| #! /bin/bash | |
| if [ ! $SCRIPTS_DIR ]; then | |
| # assume we're running standalone | |
| export SCRIPTS_DIR=../../scripts/ | |
| fi | |
| source $SCRIPTS_DIR/setenv.sh | |
| # This is a temporary workaround for previous | |
| # loop support patch which seems to be having | |
| # issues right now. | |
| LOG_FILE="$LOG_DIR/$LOG_FORMAT-rdtsc-latency.log" | |
| $SCRIPTS_DIR/run_c_files.sh "rdtsc-latency" | |
| LOG_FILE="$LOG_DIR/$LOG_FORMAT-preempt_timing.log" | |
| $SCRIPTS_DIR/run_c_files.sh "preempt_timing" |