Richard Stallman 78c5c64609 Use $file. ... Use $file. rather than $file.sed when $file is or might be more than 10 characters long. From-SVN: r4497		1993-05-18 19:32:56 +00:00
gcc	Use $file.	1993-05-18 19:32:56 +00:00