diff --git a/tools/ps_analyze_rigrandom.sh b/tools/ps_analyze_rigrandom.sh index 6dd8e8b144a08ebe49dc6b1ef671335029ec1f63..1274eb1678a18098f934203fb5db01d4d2791ae2 100755 --- a/tools/ps_analyze_rigrandom.sh +++ b/tools/ps_analyze_rigrandom.sh @@ -11,5 +11,5 @@ argv=${@:1:$length} $PEASOUP_HOME/tools/ps_analyze.sh $argv \ --backend zipr \ --step rigrandom=on \ - --step-option $random_char \ + --step-option rigrandom:$random_char \ --step gather_libraries=off \