17160f21ef
FreeBSD sh supports this but other common POSIX shells do not; in particular, dash does not, unlike bash and zsh. This allows the script to be used on non-FreeBSD systems for release media building. Reviewed by: emaste, brooks Differential Revision: https://reviews.freebsd.org/D34000