diff options
Diffstat (limited to 'nuttx/tools/configure.sh')
-rwxr-xr-x | nuttx/tools/configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/tools/configure.sh b/nuttx/tools/configure.sh index 6826807a3..5843e4440 100755 --- a/nuttx/tools/configure.sh +++ b/nuttx/tools/configure.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # configure.sh # # Copyright (C) 2007 Gregory Nutt. All rights reserved. |