Geschäftsführer/CEO: Dipl.Ing.agr. Andreas Reichhardt, Dr.-Ing. Thomas Pohlmann
Hofgut Ringelshausen Reichhardt Gruppe RTK CLUE
-Ursprüngliche Nachricht-
Von: Paul Smith
Gesendet: Dienstag, 12. Januar 2021 16:53
An: bug-make ; Stühler, Martin
Betreff: Re: AW: Issue with VPN
On Tue, 2021-01-12 at 10:20 -0500, Dmitry Goncharov wrote:
> In bash (in recipe lines) you can replace cp with
> echo "$(dst
If you use this you must set the make variable SHELL to /bin/bash.
Also, if running "echo hi" is slow then I assume this would also be
slow.
> in make you can replace cp w
> Question. Is there a change to optimize the function cp and rm?
In bash (in recipe lines) you can replace cp with
echo "$(dst
in make you can replace cp with
$(file >dst,$(file
Hi Martin; please always reply to the mailing list: this allows
everyone else to help. Also, we try to use "inline replies" on the
mailing lists, rather than "top-posting" replies.
On Fri, 2021-01-08 at 08:59 +, Stühler, Martin wrote:
> Dear Paul,
>
> Thanks for your fast response. I saw, th
On Thu, 2021-01-07 at 18:01 +, Stühler, Martin wrote:
> I have some runtime issue with wingw32-make.exe, when I´m work at
> home and connected through VPN to the company. The issue is, that the
> mingw32-make.exe always want to connect (TCP) something to any
> internal company network and this
Dear all,
I have some runtime issue with wingw32-make.exe, when I´m work at home and
connected through VPN to the company. The issue is, that the mingw32-make.exe
always want to connect (TCP) something to any internal company network and this
makes the hole runtime very slow.
If I change the D
