change $* to ${1+"$"}

This commit is contained in:
Dave Schuyler 2001-02-20 21:38:31 +00:00
parent f9a0d4acea
commit 6d8770d60c

View File

@ -54,8 +54,8 @@ export HOME
if [ x"$1" = x"-d" ]; then if [ x"$1" = x"-d" ]; then
shift 1 shift 1
exec python_d $* exec python_d ${1+"$@"}
else else
exec python $* exec python ${1+"$@"}
fi fi