#!/bin/sh

profile=${1:-default}

cd $(dirname $0) # Move to test directory
if [ ! $SCRIPTS_DIR ]; then
        # assume we're running standalone
        export SCRIPTS_DIR=../../scripts/
fi
. $SCRIPTS_DIR/setenv.sh
# Warning: tests args are now set in profiles
$SCRIPTS_DIR/run_c_files.sh $profile rt-migrate
