Pie  |  9.0.0_r8
Bash程序  |  13行  |  236 B 

#! /bin/bash

profile=${1:-default}

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 $profile "hrtimer-prio"