diff options
Diffstat (limited to 'src-release')
| -rw-r--r-- | src-release | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src-release b/src-release index 2b8fa45..78d9f83 100644 --- a/src-release +++ b/src-release @@ -160,6 +160,14 @@ do-proto-toplev: $(DEVO_SUPPORT) $(SUPPORT_FILES) texinfo/texinfo.tex done cd etc && $(MAKE) info $(MAKE) distclean + # Kludge for pr gdb/708. 'configure' configures in + # dejagnu/example/calc, but 'make distclean' does not clean in + # dejagnu/example. Someday somebody might fix this in dejagnu, + # and then import a new dejagnu into sourceware. Right now, a + # couple of 'rm' commands will get the gdb snapshots working + # again. -- chastain 2003-08-15 + rm -f dejagnu/example/calc/config.status + rm -f dejagnu/example/calc/config.log # mkdir proto-toplev/etc (cd proto-toplev/etc; \ |