blob: 366e746f5e72808a39a713316c2722a8445a2388 [file] [log] [blame]
#! /bin/bash
if [ ! $SCRIPTS_DIR ]; then
# assume we're running standalone
export SCRIPTS_DIR=../../scripts/
fi
source $SCRIPTS_DIR/setenv.sh
$SCRIPTS_DIR/run_c_files.sh "hrtimer-prio"