* Makefile.in (bootstrap): Set MAKEFILE_NAME when building Makefile,
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 23 Sep 2012 09:18:24 +0000 (02:18 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 23 Sep 2012 09:18:24 +0000 (02:18 -0700)
commitc462dda8c848d24cf84dd673b93d7ee8c8143b4e
tree3fab9ecf20eada71dc851fcef7cf72ce1fd3b07e
parentd07ff9db920196077333148f6db88525c8ba3151
* Makefile.in (bootstrap): Set MAKEFILE_NAME when building Makefile,

to avoid problems with recursion when using GNU make.
ChangeLog
Makefile.in