#! /bin/bash . $FLAIR_ROOT/flair-dev/scripts/ubuntu_cgroup_hack.sh if [ -f /proc/xenomai/version ];then EXEC=./Sinus_rt else EXEC=./Sinus_nrt fi $EXEC