1 2 3 4 5 6 7 8 9 10 11 12
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" }