mirror of https://gitee.com/Nocallback/dejagnu.git
Browse Source
the right command keyword -- it is full_buffer. Reported by David Malcolm <dmalcolm@redhat.com>.dejagnu-1.5.2
2 changed files with 6 additions and 2 deletions
Loading…
Reference in new issue