Martin Pulec 96b9ff511c Win CI scripts: create /usr/local/* if not ...

Ensure that /usr/local/{bin,include,lib} are created in scrips that copy
to that.

This is not problem for the CI because `.github/scripts/Windows/prepare_msys.sh`
already creates them but the scripts are standalone installers and it
can be run independently by a developer to install the particular dependency.

2023-04-11 13:02:24 +02:00

..

scripts

Win CI scripts: create /usr/local/* if not

2023-04-11 13:02:24 +02:00

workflows

Coverity CI: set schedule also to Tue 4:00 UTC

2023-04-04 15:47:49 +02:00