mirror of
https://github.com/apache/nuttx.git
synced 2026-06-05 15:43:28 +08:00
5585cc421c
change all occurences of /bin/(ba)sh to /usr/bin/env bash which appears more portable Approved-by: Gregory Nutt <gnutt@nuttx.org>