* config-ml.in: Prefix more variables with ml_ so they don't collide
authorDavid Edelsohn <dje.gcc@gmail.com>
Sat, 25 Nov 1995 01:40:05 +0000 (01:40 +0000)
committerDavid Edelsohn <dje.gcc@gmail.com>
Sat, 25 Nov 1995 01:40:05 +0000 (01:40 +0000)
commit2a59259c98fe1a436c425b340802182d543b809b
treead30a5bc4fe744fd8378b355d3d8268c77eabac7
parentf2181eff5f5cf2b12f7a67dc145d9439495d83cf
* config-ml.in: Prefix more variables with ml_ so they don't collide
with configure's.
ChangeLog
config-ml.in