diff options
| author | patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679> | 2008-03-04 00:40:49 +0000 |
|---|---|---|
| committer | patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679> | 2008-03-04 00:40:49 +0000 |
| commit | 36ac12b96ff1e6762ffdfb9036c534cba186e030 (patch) | |
| tree | 5cecdb79aff0386e1042a1bf1ff81c1941048005 /nuttx/tools/mkdeps.sh | |
| parent | 44bfd7e4221b07f6a41f321c19ada1f88830f6a2 (diff) | |
Explicitly use /bin/bash vs /bin/sh for Ubuntu compatibility
git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@722 7fd9a85b-ad96-42d3-883c-3090e2eb8679
Diffstat (limited to 'nuttx/tools/mkdeps.sh')
| -rwxr-xr-x | nuttx/tools/mkdeps.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/tools/mkdeps.sh b/nuttx/tools/mkdeps.sh index 29c98e63e1..96cfb72411 100755 --- a/nuttx/tools/mkdeps.sh +++ b/nuttx/tools/mkdeps.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # mkdeps.sh # # Copyright (C) 2007 Gregory Nutt. All rights reserved. |