Subject: Re: bug#10261: 24.0.92; The "dist" makefile target & the "--distfiles" configure option

From: Stefan Monnier <[email-masked]>
Date: Thu, 23 Feb 2012 02:52:52 -0500

>> The following patch should fix this problem:
>> 
>> === modified file 'nt/makefile.w32-in'
>> --- nt/makefile.w32-in  2012-02-05 20:14:54 +0000
>> +++ nt/makefile.w32-in  2012-02-15 18:32:45 +0000
>> @@ -264,7 +264,7 @@
>> 
>>  maybe-copy-distfiles-SH: doit
>>        @if [ ! $(ARGQUOTE)$(DIST_FILES)$(ARGQUOTE)=="" ] ; then \
>> -         $(CP_DIR) $(DIST_FILES) $(TMP_DIST_DIR)/bin
>> +         $(CP_DIR) $(DIST_FILES) $(TMP_DIST_DIR)/bin ; \
>>        fi
>> 
>>  create-tmp-dist-dir:

> If this patch is ok, could someone commit it?

Looks correct, committed (tho I couldn't find the original message you
quote, so I don't know who to attribute that to).

        Stefan