diff make-dist @ 105033:65e1f1ec8586

(command-line-1): Give local variables with common names a distinguishing prefix, so as not to hide free variable warnings during bootstrap.
author Glenn Morris <rgm@gnu.org>
date Tue, 15 Sep 2009 07:06:04 +0000
parents 15f0b2d2eef8
children b51e687e8c81
line wrap: on
line diff