Jesse R Codling 3aea2de999 Add needed volume mount opts for Docker/Podman ...

It hasn't been an issue for Docker because their defaults didn't
conflict, but Podman mounts volumes with nodev (and formerly noexec) by
default, which would break the build. Adding `dev` and `exec` to the
volume mount options ensures the needed setting whatever the defaults.

2025-12-07 08:49:22 +01:00

..

functions

Add needed volume mount opts for Docker/Podman

2025-12-07 08:49:22 +01:00

tools

build machinery - replace wget with curl cuz reasons

2025-10-17 19:33:20 +02:00

library-functions.sh

Revert Changes to library-functions

2025-05-29 19:30:15 +02:00

single.sh

Add / modify (c) in bash scripts (#4922)

2023-03-09 18:30:40 +01:00