diff options
author | Dominik Vogt <vogt@linux.vnet.ibm.com> | 2016-03-28 17:31:07 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-03-28 17:31:07 +1100 |
commit | 569f8718b534a2cd9511a7d640352eb0126ff492 (patch) | |
tree | 8cbe994086828265a274bbb8b62f0e87b48564b1 /config | |
parent | 3e509af89efb558191517fb918538b74efcfa17c (diff) | |
download | dejagnu-569f8718b534a2cd9511a7d640352eb0126ff492.zip dejagnu-569f8718b534a2cd9511a7d640352eb0126ff492.tar.gz dejagnu-569f8718b534a2cd9511a7d640352eb0126ff492.tar.bz2 |
* dg.exp (dg-do): Do not change the previously selected action if
a de-selected dg-do is encountered.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions