chiark / gitweb /
bin/run-with-shell-env: Preserve the original argument list.