+
+ if [ -n "${TRIVA}" ]; then
+ TRACEOPTIONS="$TRACEOPTIONS --cfg=triva/categorized:smpi_cat.plist --cfg=triva/uncategorized:smpi_uncat.plist"
+ fi
+
+ if [ -n "${TRACE_GROUPED}" ]; then
+ TRACEOPTIONS="$TRACEOPTIONS --cfg=tracing/smpi/group:1"
+ fi