diff options
| author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2008-03-04 00:40:49 +0000 |
|---|---|---|
| committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2008-03-04 00:40:49 +0000 |
| commit | 339a20810f92d90095ce0b2cee95bfa755ce2716 (patch) | |
| tree | 5cecdb79aff0386e1042a1bf1ff81c1941048005 /nuttx/tools | |
| parent | 40250c6ab58d29f5af7ca45fee012b51eaae61ee (diff) | |
| download | px4-nuttx-339a20810f92d90095ce0b2cee95bfa755ce2716.tar.gz px4-nuttx-339a20810f92d90095ce0b2cee95bfa755ce2716.tar.bz2 px4-nuttx-339a20810f92d90095ce0b2cee95bfa755ce2716.zip | |
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
Diffstat (limited to 'nuttx/tools')
| -rwxr-xr-x | nuttx/tools/configure.sh | 2 | ||||
| -rwxr-xr-x | nuttx/tools/link.sh | 2 | ||||
| -rwxr-xr-x | nuttx/tools/mkdeps.sh | 2 | ||||
| -rwxr-xr-x | nuttx/tools/mkimage.sh | 2 | ||||
| -rwxr-xr-x | nuttx/tools/mknulldeps.sh | 2 | ||||
| -rwxr-xr-x | nuttx/tools/unlink.sh | 2 | ||||
| -rwxr-xr-x | nuttx/tools/winlink.sh | 2 | ||||
| -rwxr-xr-x | nuttx/tools/zipme.sh | 2 |
8 files changed, 8 insertions, 8 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. diff --git a/nuttx/tools/link.sh b/nuttx/tools/link.sh index 0b8ecfaff..7927d65c8 100755 --- a/nuttx/tools/link.sh +++ b/nuttx/tools/link.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash ############################################################################ # tools/link.sh # diff --git a/nuttx/tools/mkdeps.sh b/nuttx/tools/mkdeps.sh index 29c98e63e..96cfb7241 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. diff --git a/nuttx/tools/mkimage.sh b/nuttx/tools/mkimage.sh index 90f4176b1..f64dfde85 100755 --- a/nuttx/tools/mkimage.sh +++ b/nuttx/tools/mkimage.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # File: mkimage.sh # diff --git a/nuttx/tools/mknulldeps.sh b/nuttx/tools/mknulldeps.sh index 360e7cb97..6dc3e9635 100755 --- a/nuttx/tools/mknulldeps.sh +++ b/nuttx/tools/mknulldeps.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # tools/mknulldeps.sh # # Copyright (C) 2008 Gregory Nutt. All rights reserved. diff --git a/nuttx/tools/unlink.sh b/nuttx/tools/unlink.sh index ebd21d512..47079f085 100755 --- a/nuttx/tools/unlink.sh +++ b/nuttx/tools/unlink.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash ############################################################################ # tools/unlink.sh # diff --git a/nuttx/tools/winlink.sh b/nuttx/tools/winlink.sh index e94d26cc9..c081cee35 100755 --- a/nuttx/tools/winlink.sh +++ b/nuttx/tools/winlink.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash ############################################################################ # tools/winlink.sh # diff --git a/nuttx/tools/zipme.sh b/nuttx/tools/zipme.sh index 3200384cf..bb902c8a8 100755 --- a/nuttx/tools/zipme.sh +++ b/nuttx/tools/zipme.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # zipme.sh # # Copyright (C) 2007 Gregory Nutt. All rights reserved. |