diff options
Diffstat (limited to 'check/check-libs-private')
| -rwxr-xr-x | check/check-libs-private | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/check/check-libs-private b/check/check-libs-private index 961962b..0678fd7 100755 --- a/check/check-libs-private +++ b/check/check-libs-private @@ -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 |