diff options
Diffstat (limited to 'check/check-cmd-options')
| -rwxr-xr-x | check/check-cmd-options | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/check/check-cmd-options b/check/check-cmd-options index cd22f17..8b5ef4c 100755 --- a/check/check-cmd-options +++ b/check/check-cmd-options @@ -1,10 +1,5 @@ #! /bin/sh -# Make sure we're POSIX -if [ "$PKG_CONFIG_SHELL_IS_POSIX" != "1" ]; then - PKG_CONFIG_SHELL_IS_POSIX=1 PATH=`getconf PATH` exec sh $0 "$@" -fi - set -e . ${srcdir}/common |