Home GnuPG

docker: Add --clean command to clear build dir

Description

docker: Add --clean command to clear build dir

* docker/docker-build.sh (--clean): New command.

This is basically a --clean-before command to clean
up the directory where the build is actually done. This
is just a handy parameter. The arguments might
change as a popular development combination of arguments
is now:
./docker/docker-build.sh --dirty --clean --buildroot ..

Details

Provenance
aheineckeAuthored on Jul 22 2024, 3:15 PM
Parents
rW30a918d9ec43: Depend gpg4win version on gpg version again
Branches
Unknown
Tags
Unknown