On Wed, Nov 13, 2024 at 7:52 AM Junjie Mao <junjie....@hotmail.com> wrote: > > A symbolic link seems to work too. Thanks for the tip! > > Linux-based hosts should be fine. Should we test if symlinks also work > on W32/W64 systems?
We already use symlinks for scripts/symlink-install-tree.py, fortunately. Paolo
