Release process: make command work on zsh
We don't need root to measure time. At least on my system, "sudo time" fails with "command not found". But "time sudo" works just fine. Fixes regression introduced in bfb863f5.
Showing with 1 addition and 1 deletion