#!/bin/sh

opt=""
if [ "$#" = "1" ]
then
  if [ "`basename $1`" != "`basename $1 .rdy`" ]
  then
    opt="-protoGUIrunner"
  fi
fi

PRAGMADEV_OLD_LD_LIBRARY_PATH="$LD_LIBRARY_PATH"
LD_LIBRARY_PATH="$LD_LIBRARY_PATH":$RTDS_HOME/bin
export PRAGMADEV_OLD_LD_LIBRARY_PATH LD_LIBRARY_PATH

$RTDS_HOME/bin/runPragmadevStudio-unix $opt $*
