That is some good news, thanks! I guess the AV software was doing some
extra work with the other exe that caused the build performance loss? I had
done a quick test on my VM and didn't see a performance difference, so I
was planning to look into that more later. Glad to hear it's working now,
though.

Thanks,
-Mike

On Mon, Nov 9, 2020 at 1:49 AM Gerhard Giefing <[email protected]>
wrote:

> Hi again,
>
> Now the build time is also the same as it is with tup 0.7.5.58!
>
> Mit freundlichen Grüßen
>
> DI (FH) Gerhard Giefing
> Obeliskgasse 9
> 7000 Eisenstadt
> Tel.: +43664804447464
> Mail.: [email protected]
>
>
> Am Mo., 9. Nov. 2020 um 08:04 Uhr schrieb Gerhard Giefing <
> [email protected]>:
>
>> Hi Mike,
>>
>> Yes, the old version is:
>>
>> tup-v0.7.5-58-ga9befa9.zip
>>
>> I tested the new tup 07.10.02 and it worked! tup32detect.exe was copied
>> without complaints. Thanks.
>>
>> Mit freundlichen Grüßen
>>
>> DI (FH) Gerhard Giefing
>> Obeliskgasse 9
>> 7000 Eisenstadt
>> Tel.: +43664804447464
>> Mail.: [email protected]
>>
>>
>> Am So., 8. Nov. 2020 um 22:21 Uhr schrieb Mike Shal <[email protected]>:
>>
>>> On Fri, Nov 6, 2020 at 5:47 AM Gerhard Giefing <
>>> [email protected]> wrote:
>>>
>>>> Hi Mike,
>>>>
>>>> I tested the new version. Because of our antivirus policy, I could not
>>>> copy tup32detect.exe to the buildserver.
>>>>
>>>
>>> Hi Gerhard,
>>>
>>> I am curious if tup32detect.exe from
>>> http://gittup.org/tup/win32/tup-v0.7.10-2-g0bf83fce.zip will work with
>>> your antivirus policy. (I've also back-ported that tup32detect.exe into
>>> tup-v0.7.10.zip to try to work around the Chrome security warnings.) Some
>>> additional details are in the github issue:
>>> https://github.com/gittup/tup/issues/411#issuecomment-723667225
>>>
>>> Thanks,
>>> -Mike
>>>
>>> --
>>> --
>>> tup-users mailing list
>>> email: [email protected]
>>> unsubscribe: [email protected]
>>> options: http://groups.google.com/group/tup-users?hl=en
>>> ---
>>> You received this message because you are subscribed to a topic in the
>>> Google Groups "tup-users" group.
>>> To unsubscribe from this topic, visit
>>> https://groups.google.com/d/topic/tup-users/OaOf6WoLJBU/unsubscribe.
>>> To unsubscribe from this group and all its topics, send an email to
>>> [email protected].
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/tup-users/CA%2B6x0LVf1zeL9LudWy-w%2BHW0NJU_QLK-h1SPZoAWLrDz%3DJvsjg%40mail.gmail.com
>>> .
>>>
>> --
> --
> tup-users mailing list
> email: [email protected]
> unsubscribe: [email protected]
> options: http://groups.google.com/group/tup-users?hl=en
> ---
> You received this message because you are subscribed to the Google Groups
> "tup-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/tup-users/CA%2BFUufTrt4QVUhSXZzGsoo9jou%2Bs1KR5eOssX31UY5PdNmGq_Q%40mail.gmail.com
> .
>

-- 
-- 
tup-users mailing list
email: [email protected]
unsubscribe: [email protected]
options: http://groups.google.com/group/tup-users?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"tup-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/tup-users/CA%2B6x0LXzBmsEChQKQYw1%2BK%3DeoO9dKH8iGtJ-UvtUxM2bJBt8oA%40mail.gmail.com.

Reply via email to