On Sat, 12 Jul 2008 23:16:23 +0200, Ulrich Weigand wrote: > does not trigger as the command is not even registered: > > (gdb) set disable-randomization off^M > No symbol "disable" in current context.^M > (gdb) PASS: gdb.base/randomize.exp: set disable-randomization off I see, sorry, going to commit this patch. Regards, Jan