(Makefile): Delete config.run afterwards.
authorDoug Evans <dje@gnu.org>
Sat, 25 Feb 1995 15:18:34 +0000 (15:18 +0000)
committerDoug Evans <dje@gnu.org>
Sat, 25 Feb 1995 15:18:34 +0000 (15:18 +0000)
commitda0d7cb1ea9b9917d9613e7f25bc35bfbfd4a91d
tree834eee2a047a0c9e9ea2c3d8302373170d069fca
parent2628b9d33d863c6fc7a448bb6fde5d338d947ac9
(Makefile): Delete config.run afterwards.

(disclean): Delete config.run.

From-SVN: r9086
gcc/Makefile.in