Re: [code] Regarding file_diff

From: Pedro Andres Aranda Gutierrez <paaguti.att.gmail.com>
Date: Fri, 8 Nov 2019 09:57:36 +0100

Happy to suggest ;-)

/PA

Enviado desde mi iPhone

> El 7 nov 2019, a las 20:29, Mitchell <m.att.foicica.com> escribi├│:
>
> ´╗┐Hi Pedro,
>
>> On Tue, 8 Oct 2019, Pedro Andres Aranda Gutierrez wrote:
>>
>> Hi,
>>
>> May I suggest a simplification at the end of Makefile:
>>
>> diff_match_patch_zip = 7f95b37e554453262e2bcda830724fc362614103.zip
>> $(diff_match_patch_zip):
>> wget https://github.com/leutloff/diff-match-patch-cpp-stl/archive/$@
>> diff_match_patch.h: | $(diff_match_patch_zip)
>> unzip -j $| */$@
>>
>> Using the unzip -j leaves no garbage in the build directory.
>
> Thanks for the suggestion. I've committed the change.
>
> Cheers,
> Mitchell
> --
> You are subscribed to code.att.foicica.com.
> To change subscription settings, send an e-mail to code+help.att.foicica.com.
> To unsubscribe, send an e-mail to code+unsubscribe.att.foicica.com.
>

-- 
You are subscribed to code.att.foicica.com.
To change subscription settings, send an e-mail to code+help.att.foicica.com.
To unsubscribe, send an e-mail to code+unsubscribe.att.foicica.com.
Received on Fri 08 Nov 2019 - 03:57:36 EST

This archive was generated by hypermail 2.2.0 : Fri 08 Nov 2019 - 06:32:16 EST