#! /bin/bash

profile=${1:-default}

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 $profile "rdtsc-latency"

LOG_FILE="$LOG_DIR/$LOG_FORMAT-preempt_timing.log"
$SCRIPTS_DIR/run_c_files.sh $profile "preempt_timing"