diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2007-06-14 08:52:42 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gnu.org> | 2007-06-14 08:52:42 +0000 |
| commit | e00a73e3230d0b8a3409ae74cbfffd8edebd7963 (patch) | |
| tree | e6ad23346baac0dcaaff4a310d370522ed99430d /gdb/ui-file.c | |
| parent | 107eb3fc405825a147b9b3d7a176040b65f1f757 (diff) | |
| download | gdb-e00a73e3230d0b8a3409ae74cbfffd8edebd7963.zip gdb-e00a73e3230d0b8a3409ae74cbfffd8edebd7963.tar.gz gdb-e00a73e3230d0b8a3409ae74cbfffd8edebd7963.tar.bz2 | |
2007-06-14 Paolo Bonzini <bonzini@gnu.org>
* Makefile.tpl (cleanstrap): Don't delete the toplevel Makefile.
(distclean-stage[+id+]): Possibly delete stage_last.
* Makefile.in: Regenerate.
Diffstat (limited to 'gdb/ui-file.c')
0 files changed, 0 insertions, 0 deletions