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%2BFUufRAsD8MQyDSCNssTvqnxq9xZqKspKj8sqEOUjr-G8FL3w%40mail.gmail.com.
