pick-kernel: use $* because $@ confuses the hell out of Git

(cherry picked from commit ebaf670afd26a7d590e0f3e42d48f4ab33fedc3c)

diff --git a/zygo/pick-kernel b/zygo/pick-kernel
index fd1f8a0e0752cd2ba80d250e583b9002f0367f82..6779711e04445ad96a41eddfbe429097d5b27cda 100755 (executable)
--- a/zygo/pick-kernel
+++ b/zygo/pick-kernel
@@ -17,7 +17,7 @@ for x in $hashes; do
        git log --oneline --no-walk "$x" >&9
 done 9> PICK-LIST
 
-git merge -s ours "$x" -m"zygo: cherry-picked up to $x (extra args $@)
+git merge -s ours "$x" -m"zygo: cherry-picked up to $x (extra args $*)
 
 Commits included: