diff --git a/gio/pltcheck.sh b/gio/pltcheck.sh index 08f6e47c3..f0500bf88 100755 --- a/gio/pltcheck.sh +++ b/gio/pltcheck.sh @@ -9,7 +9,7 @@ if ! which readelf 2>/dev/null >/dev/null; then exit 0 fi -SKIP='\' +SKIP='\\|\