TREE_FILE=psim_tree.${LOGNAME} ### Generate the PSIM device tree based upon the type of application being run gen_device_tree() { case ${1} in *mp*) if [ X${RTEMS_SHM_SEMAPHORE_KEY} = X -o X${RTEMS_SHM_KEY} = X ] ; then fatal RTEMS_SHM_SEMAPHORE_KEY and/or RTEMS_SHM_KEY not set fi use_sysv_devices=yes case ${1} in *node1*) value=1 ;; *) value=-1 ;; esac ;; *) use_sysv_devices=no ;; esac cat < /dev/null running=$? if [ $running -eq 0 ] ; then time_run=$((time_run + 5)) if [ $time_run -ge $max_run_time ]; then kill -9 $pid 2> /dev/null ran_too_long="yes" echo "${testname} killed after running ${max_run_time} seconds" fi else ran_too_long="no" break fi done fi }