Home GnuPG

docker: Copy repos for dirty builds if dir exists

Description

docker: Copy repos for dirty builds if dir exists

* docker/docker-build.sh: Call rsync also if the directory
also exists.

Details

Provenance
aheineckeAuthored on Jul 18 2024, 12:09 PM
Parents
rWdc109ff1ccf6: docker: Fix test if docker build should be called
Branches
Unknown
Tags
Unknown