diff options
| author | Chris Demetriou <cgd@google.com> | 2002-12-21 02:50:46 +0000 |
|---|---|---|
| committer | Chris Demetriou <cgd@google.com> | 2002-12-21 02:50:46 +0000 |
| commit | e8119602a5647be2501acd716b04dc0556ca7d85 (patch) | |
| tree | da7e2db541707a4a4ee31a5fd710bdda107f6e7a /configure.in | |
| parent | 63222ec9df5665a611a4ea5cc0261e92a3726e41 (diff) | |
| download | gdb-e8119602a5647be2501acd716b04dc0556ca7d85.zip gdb-e8119602a5647be2501acd716b04dc0556ca7d85.tar.gz gdb-e8119602a5647be2501acd716b04dc0556ca7d85.tar.bz2 | |
2002-12-20 Chris Demetriou <cgd@broadcom.com>
* lib/gas-defs.exp (run_dump_test): Add a new optional argument,
"extra_options".
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions