diff --git a/tools/ps_run.sh b/tools/ps_run.sh index ddf1cf172c8a13cb44522fa12a6915915e0378f2..8ecf6e5f9f2fb17f6040f7c7b93cad023029903d 100755 --- a/tools/ps_run.sh +++ b/tools/ps_run.sh @@ -23,7 +23,7 @@ STRATA_DOUBLE_FREE=1 \ STRATA_PC_CONFINE_XOR_KEY_LENGTH=1024 \ STRATA_ANNOT_FILE=$datapath/a.ncexe.annot \ STRATA_SPRI_FILE=$datapath/p1.xform/p1.final.bspri \ - $datapath/a.stratafied $* + $datapath/a.stratafied "$@" else STRATA_DOUBLE_FREE=1 \ STRATA_HEAPRAND=1 \ @@ -31,7 +31,7 @@ STRATA_DOUBLE_FREE=1 \ STRATA_PC_CONFINE_XOR=1 \ STRATA_PC_CONFINE_XOR_KEY_LENGTH=1024 \ STRATA_ANNOT_FILE=$datapath/a.ncexe.annot \ - $datapath/a.stratafied $* + $datapath/a.stratafied "$@" fi