mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-17 18:43:50 +01:00
364c831bf3
Change shebang in script from `/bin/bash` to `/usr/bin/env bash`, which fixed problems when `bash` is not available in standard location, e.g., on non-Linux OSes such as FreeBSD.