mirror of
git://gcc.gnu.org/git/gcc.git
synced 2024-12-27 03:49:03 +08:00
13 lines
301 B
Plaintext
13 lines
301 B
Plaintext
catch "exec $MAKEINFO -o ./nonsense.info $srcdir/text/nonsense.texi" maki_out
|
|
|
|
verbose "Makeinfo output: $maki_out" 1
|
|
|
|
if [string match \
|
|
"*Unknown info command*" \
|
|
"$maki_out" \
|
|
] then {
|
|
pass "unknown command detection"
|
|
} else {
|
|
fail "unknown command detection"
|
|
}
|