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 > <http://gittup.org/tup/win32/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 >> <https://groups.google.com/d/msgid/tup-users/CA%2B6x0LVf1zeL9LudWy-w%2BHW0NJU_QLK-h1SPZoAWLrDz%3DJvsjg%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- -- 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.
