patacongo b0e44cd44e Explicitly use /bin/bash vs /bin/sh for Ubuntu compatibility ... git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@722 42af7a65-404d-4744-a932-0658087f49c3		2008-03-04 00:40:49 +00:00
configs	Explicitly use /bin/bash vs /bin/sh for Ubuntu compatibility	2008-03-04 00:40:49 +00:00