> +#!/bin/sh Might I suggest `#!/usr/bin/env sh` instead for this case? I tend to prefer it from a portability and usability perspective, but I can imagine for sh it might not matter.
I am not close to the patch that you are working on. But thought to throw this out there in case there is a platform or user relying on unique behaviour here. Thank you for your time, _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org https://ffmpeg.org/mailman/listinfo/ffmpeg-devel To unsubscribe, visit link above, or email ffmpeg-devel-requ...@ffmpeg.org with subject "unsubscribe".