change all occurences of /bin/(ba)sh to /usr/bin/env bash which appears more portable Approved-by: Gregory Nutt <gnutt@nuttx.org>
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@3584 42af7a65-404d-4744-a932-0658087f49c3