1f08c3bdfSopenharmony_ci#! /bin/bash 2f08c3bdfSopenharmony_ci 3f08c3bdfSopenharmony_ciprofile=${1:-default} 4f08c3bdfSopenharmony_ci 5f08c3bdfSopenharmony_cicd $(dirname $0) 6f08c3bdfSopenharmony_ciif [ ! $SCRIPTS_DIR ]; then 7f08c3bdfSopenharmony_ci # assume we're running standalone 8f08c3bdfSopenharmony_ci export SCRIPTS_DIR=../../scripts/ 9f08c3bdfSopenharmony_cifi 10f08c3bdfSopenharmony_ci 11f08c3bdfSopenharmony_cisource $SCRIPTS_DIR/setenv.sh 12f08c3bdfSopenharmony_ci 13f08c3bdfSopenharmony_ci$SCRIPTS_DIR/run_c_files.sh $profile "hrtimer-prio" 14