• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1#! /bin/bash
2
3profile=${1:-default}
4
5cd $(dirname $0)
6if [ ! $SCRIPTS_DIR ]; then
7        # assume we're running standalone
8        export SCRIPTS_DIR=../../scripts/
9fi
10
11source $SCRIPTS_DIR/setenv.sh
12
13$SCRIPTS_DIR/run_c_files.sh $profile "hrtimer-prio"
14