[gdb/testsuite] Fix gdb.tui/main.exp without TUI
authorTom de Vries <tdevries@suse.de>
Sat, 29 Apr 2023 05:00:34 +0000 (07:00 +0200)
committerTom de Vries <tdevries@suse.de>
Sat, 29 Apr 2023 05:00:34 +0000 (07:00 +0200)
commit1b05f1083a4e18e5141ddce7551b79d07d9b272d
tree377f7c27ab7ba4048079d0304ba517cfae8df286
parentdffcf6e5e60f28fc1df041ea89c4d5b8b5d843cd
[gdb/testsuite] Fix gdb.tui/main.exp without TUI

With a build with --disable-tui, we get:
...
(gdb) PASS: gdb.tui/main.exp: set interactive-mode off
maint set tui-left-margin-verbose on^M
Undefined maintenance set command: "tui-left-margin-verbose on".  \
  Try "help maintenance set".^M
(gdb) FAIL: gdb.tui/main.exp: maint set tui-left-margin-verbose on
...

Fix this by adding the missing "require allow_tui_tests".

Tested on x86_64-linux.
gdb/testsuite/gdb.tui/main.exp