OSDN Git Service

Use $file. rather than $file.sed
authorrms <rms@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 18 May 1993 19:32:56 +0000 (19:32 +0000)
committerrms <rms@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 18 May 1993 19:32:56 +0000 (19:32 +0000)
commitb54e35016089ffb6b5b64fda017c3fb8f18bc9f4
treecf1ba0b4c73e2f4749e3aaa668454e2a9c9f6775
parenta17f4b976d746b9b52307ac7b430d23bae77ea24
Use $file. rather than $file.sed
when $file is or might be more than 10 characters long.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@4497 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/fixincludes