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-headers.sh | |
| parent | d47142907f01ae610fa06987c20741ae1382a4b7 (diff) | |
Make check-*.sh scripts more portable (#16299)
Diffstat (limited to 'src/check-headers.sh')
| -rwxr-xr-x | src/check-headers.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/check-headers.sh b/src/check-headers.sh index 4792b2db3..f34abb03c 100755 --- a/src/check-headers.sh +++ b/src/check-headers.sh @@ -3,7 +3,7 @@ LANG=C test -z "$srcdir" && srcdir=. -status=0 +stat=0 echo Checking public headers for missing cairo_public decorators @@ -16,6 +16,6 @@ awk ' { context=$0; } ' | sed 's/[.]h-/.h:/' | -grep . && status=1 +grep . && stat=1 -exit $status +exit $stat |