diff make-dist @ 104947:a0dbb0d71ad5

(bootstrap): Ensure enough environment space will be available to run config.bat.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 11 Sep 2009 10:00:57 +0000
parents 15f0b2d2eef8
children b51e687e8c81
line wrap: on
line diff