diff --git a/Makefile.docker b/Makefile.docker index 4a741c173f79f73094b1e22da8622d562aa0eb27..1ee2657a9728cf6c9c44e3c1601bd7655a7b2997 100644 --- a/Makefile.docker +++ b/Makefile.docker @@ -42,6 +42,7 @@ export DOCKER_ENV_VARS = \ SIZE \ UNDEF \ BUILDTEST_MCU_GROUP \ + BUILDTEST_VERBOSE \ # # Find which variables were set using the command line or the environment and