Home | History | Annotate | Download | only in hrtimer-prio 
      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 $SCRIPTS_DIR/run_c_files.sh $profile "hrtimer-prio"
     13