Am Sun, May 01, 2022 at 01:27:39PM +0200 schrieb Étienne Mollier: > Thank you for the clarification. In any case, I believe the mv > makes a random static library disappear, so I'll replace by cp. > This is looking like a safe maneuver.
Uhmmmm, that's actually true and should for sure have been a cp. :-(
> I'm sorting all three issues then.
As always, thanks a lot
Andreas.
--
http://fam-tille.de
