diff --git a/Makefile b/Makefile index ea6218816..a6c523061 100644 --- a/Makefile +++ b/Makefile @@ -181,6 +181,13 @@ ifeq ($(COVERITY),1) override CFLAGS += -DCOVERITY endif +# +# Building in github? +# +ifneq ($(GITHUB_RUN_ATTEMPT),) +override VERBOSE=1 +endif + # # Disable any user defined PREFV setting #