fix the release args messages for profiling

diff --git a/all b/all
index 3ff8d04421dca51d1833c5a029a63ab193c0653c..1cbc3b9f4507753854482a8b51abcb5c93417999 100755 (executable)
--- a/all
+++ b/all
@@ -271,7 +271,7 @@ case "$cmd" in
        release|release-*)
                export LC_ALL=C
 
-               release_args=$*
+               release_args="$cmd $*"
                msg "*** $release_args: start"
                release_starttime=`date +%s`
                release_end()