diff options
Diffstat (limited to 'gdb/config/djgpp')
-rw-r--r-- | gdb/config/djgpp/config.sed | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/config/djgpp/config.sed b/gdb/config/djgpp/config.sed index 5159579..7cc9d3f 100644 --- a/gdb/config/djgpp/config.sed +++ b/gdb/config/djgpp/config.sed @@ -7,6 +7,8 @@ s|\.gdbinit|gdb.ini|g /^s%@prefix@%/a\ s,\\([yp*]\\)\\.tab,\\1_tab,g\ /^ @rm -f/s,\\$@-\\[0-9\\]\\[0-9\\],& *.i[1-9] *.i[1-9][0-9],\ + s,standards\\.info\\*,standard*.inf*,\ + s,configure\\.info\\*,configur*.inf*,\ s,\\.info\\*,.inf* *.i[1-9] *.i[1-9][0-9],\ s,\\.gdbinit,gdb.ini,g\ /TEXINPUTS=/s,:,';',g\ |