diff --git a/bin/rpl_run.sh b/bin/rpl_run.sh index 2107d182b1..f11e0a22a8 100755 --- a/bin/rpl_run.sh +++ b/bin/rpl_run.sh @@ -183,6 +183,7 @@ usage() { echo " Supported time formats: " echo " --flush-rate - to enable trace flush rate (time period)" echo " Supported time formats: " + echo " --parallel-kernels - to enable cnocurrent kernels" echo "" echo "Configuration file:" echo " You can set your parameters defaults preferences in the configuration file 'rpl_rc.xml'. The search path sequence: .:${HOME}:" @@ -439,6 +440,9 @@ while [ 1 ] ; do if [ "$2" = "off" ] ; then export ROCP_OBJ_TRACKING=0 fi + elif [ "$1" = "--parallel-kernels" ] ; then + ARG_VAL=0 + export ROCP_K_CONCURRENT=1 elif [ "$1" = "--verbose" ] ; then ARG_VAL=0 export ROCP_VERBOSE_MODE=1