diff options
-rwxr-xr-x | t/install-info-dir.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/t/install-info-dir.sh b/t/install-info-dir.sh index d8b32d863..12b22930e 100755 --- a/t/install-info-dir.sh +++ b/t/install-info-dir.sh @@ -67,7 +67,15 @@ $MAKE info test -f foo.info if install-info --version; then - have_installinfo=yes + # Skip some checks even if 'install-info' is the one from dpkg, not + # the one from GNU info, as the former might try to create files in + # '/var/backups/', causing spurious failures like this for non-root + # users. + if install-info --version | $EGREP -i '(dpkg|debian) install-info'; then + have_installinfo=no + else + have_installinfo=yes + fi else have_installinfo=no fi |