diff options
| author | Pedro Giffuni <pfg@apache.org> | 2012-01-24 14:30:34 +0000 |
|---|---|---|
| committer | Pedro Giffuni <pfg@apache.org> | 2012-01-24 14:30:34 +0000 |
| commit | a345457686b7617dcdee9d28b2a579801e90034a (patch) | |
| tree | ab2f742ce9cb74240a14f2c650ac0693491a1984 /odk | |
| parent | f2a7b1334f97ab8bface5ede756bce51cf2426da (diff) | |
Avoid some uses of non portable #!/bin/bash in shell scripts.
bash is common in GNU/linux but is, in general, not
available by default on other systems or likely to
be in a different place. When possible /bin/sh
should be used but if bash extensions are required
"#!/bin/env bash" is considered more portable.
Diffstat (limited to 'odk')
| -rwxr-xr-x | odk/pack/copying/addsym-macosx.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/odk/pack/copying/addsym-macosx.sh b/odk/pack/copying/addsym-macosx.sh index d3bac6e5e878..ef785d1c9ce2 100755 --- a/odk/pack/copying/addsym-macosx.sh +++ b/odk/pack/copying/addsym-macosx.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # This script is needed in the process of generating exported # symbols list on Mac OS X |