diff options
| author | Jacob Bachmeyer <jcb@gnu.org> | 2022-10-04 22:14:00 -0500 |
|---|---|---|
| committer | Jacob Bachmeyer <jcb@gnu.org> | 2022-10-04 22:14:00 -0500 |
| commit | d747eee6ec891425846ea9c21819d9c2ea48ed34 (patch) | |
| tree | 6a45fc9a8b7d6ed1f7905c32d2a6a293c3605e5f /dejagnu.h | |
| parent | e2c7bcea007e61d7a1f77576c36fa233706d916d (diff) | |
| download | dejagnu-d747eee6ec891425846ea9c21819d9c2ea48ed34.zip dejagnu-d747eee6ec891425846ea9c21819d9c2ea48ed34.tar.gz dejagnu-d747eee6ec891425846ea9c21819d9c2ea48ed34.tar.bz2 | |
Buffer test results in case the pruning callback aborts the test
Diffstat (limited to 'dejagnu.h')
0 files changed, 0 insertions, 0 deletions