diff --git a/SMPStaticAnalyzer b/SMPStaticAnalyzer index 44cfc100775e3d69f9b627e9d98d52b3ff797faa..732a3a9b2c8d17f6f9f25048f921c3f36b6a071d 160000 --- a/SMPStaticAnalyzer +++ b/SMPStaticAnalyzer @@ -1 +1 @@ -Subproject commit 44cfc100775e3d69f9b627e9d98d52b3ff797faa +Subproject commit 732a3a9b2c8d17f6f9f25048f921c3f36b6a071d diff --git a/tools/ps_analyze.sh b/tools/ps_analyze.sh index dbe9c0fa5e951e9a8b0b657d202b26067749553d..b1ee37043dea5d4d03684c9443fcbfb6bcb46aa2 100755 --- a/tools/ps_analyze.sh +++ b/tools/ps_analyze.sh @@ -222,7 +222,6 @@ set_step_option() no_delim_option=`echo "$1" | cut -d: -f99999-` if [[ ! -z $no_delim_option ]]; then - echo "Detected elided step option in $1" set_step_option "$last_step_parsed:$no_delim_option" return $? fi