diff options
| -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 |