On 2019-03-25 14:10, Eli Zaretskii wrote: >> Is it worth having a test for that? > > Hmm... how would you test that? Something like gdb_test "print \$_gdb_major" " = 8" gdb_test "print \$_gdb_minor" " = 4" Simon