diff options
author | Behdad Esfahbod <behdad@behdad.org> | 2008-06-12 21:03:19 -0400 |
---|---|---|
committer | Behdad Esfahbod <behdad@behdad.org> | 2008-06-12 21:03:19 -0400 |
commit | b9acf625d64f11253b5c8d32e890bb94e78809b4 (patch) | |
tree | af6b8e5d658228fa3ded89aaeb6cb6137046061b /src/check-plt.sh | |
parent | d47142907f01ae610fa06987c20741ae1382a4b7 (diff) |
Make check-*.sh scripts more portable (#16299)
Diffstat (limited to 'src/check-plt.sh')
-rwxr-xr-x | src/check-plt.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/check-plt.sh b/src/check-plt.sh index c69813b6..e0914995 100755 --- a/src/check-plt.sh +++ b/src/check-plt.sh @@ -2,14 +2,16 @@ LANG=C -if ! which readelf 2>/dev/null >/dev/null; then +if which readelf 2>/dev/null >/dev/null; then + : +else echo "'readelf' not found; skipping test" exit 0 fi test -z "$srcdir" && srcdir=. test -z "$MAKE" && MAKE=make -status=0 +stat=0 $MAKE check-has-hidden-symbols.i > /dev/null || exit 1 if tail -1 check-has-hidden-symbols.i | grep CAIRO_HAS_HIDDEN_SYMBOLS >/dev/null; then @@ -19,7 +21,7 @@ fi for so in .libs/lib*.so; do echo Checking "$so" for local PLT entries - readelf -W -r "$so" | grep 'JU\?MP_SLO' | grep 'cairo' && status=1 + readelf -W -r "$so" | grep 'JU\?MP_SLO' | grep 'cairo' && stat=1 done -exit $status +exit $stat |