summaryrefslogtreecommitdiff
path: root/Build/source/utils/texinfo/makeinfo/tests/no-headers
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/texinfo/makeinfo/tests/no-headers')
-rwxr-xr-xBuild/source/utils/texinfo/makeinfo/tests/no-headers5
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/utils/texinfo/makeinfo/tests/no-headers b/Build/source/utils/texinfo/makeinfo/tests/no-headers
index e0718713f32..6b961846f38 100755
--- a/Build/source/utils/texinfo/makeinfo/tests/no-headers
+++ b/Build/source/utils/texinfo/makeinfo/tests/no-headers
@@ -2,8 +2,11 @@
# Test that info.texi works with --no-headers (this includes node
# pointer defaulting).
+# maybe need "nul" sometimes? Not clear.
+: ${nulldev=/dev/null}
+
unset TEXINFO_OUTPUT
: ${srcdir=.}
docdir=$srcdir/../../doc
-../makeinfo --no-headers -o /dev/null -I$docdir info.texi
+../makeinfo --no-headers -o $nulldev -I$docdir info.texi