diff options
| author | gdt | 2006-10-04 17:20:15 +0000 |
|---|---|---|
| committer | gdt | 2006-10-04 17:20:15 +0000 |
| commit | d1f870c0f848711761d429aa912e5ebfd2d1592a (patch) | |
| tree | 99d55e27dd3f5348637ca627efa7ed8e450b99cd /dtools/bin | |
| parent | 823ce5ceaa54bea679228e60569c8b43044fe28a (diff) | |
| download | gnuradio-d1f870c0f848711761d429aa912e5ebfd2d1592a.tar.gz gnuradio-d1f870c0f848711761d429aa912e5ebfd2d1592a.tar.bz2 gnuradio-d1f870c0f848711761d429aa912e5ebfd2d1592a.zip | |
Portability fixes:
Use /bin/sh instead of /bin/bash.
Use = instead of == with test.
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@3708 221aa14e-8319-0410-a670-987f0aec2ac5
Diffstat (limited to 'dtools/bin')
| -rwxr-xr-x | dtools/bin/check-tarball-h-files | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dtools/bin/check-tarball-h-files b/dtools/bin/check-tarball-h-files index 1f808cb04..dae7592d2 100755 --- a/dtools/bin/check-tarball-h-files +++ b/dtools/bin/check-tarball-h-files @@ -1,7 +1,7 @@ -#!/bin/bash +#!/bin/sh tarball=$1 -if [ "x$tarball" == "x" ] +if [ "x$tarball" = "x" ] then echo "usage: $0 tarball" 1>&2 exit 1 |