diff --git a/Makefile b/Makefile index 71227d9d4d11e7bc700e701a8d4df39cf943efda..9e1db783ba597e773f0729926dd388415c20b919 100644 --- a/Makefile +++ b/Makefile @@ -28,6 +28,7 @@ GIT_REVISION := $(shell git log --pretty=format:"%H" -1) MAST := 0 ASAN := 0 ONLY_C := 0 +COV := 0 ifeq ($(DEBUG),0) BUILD_TYPE := RELEASE else @@ -58,7 +59,8 @@ GN_OPTIONS := \ GIT_REVISION="$(GIT_REVISION)" \ MAST=$(MAST) \ ASAN=$(ASAN) \ - ONLY_C=$(ONLY_C) + ONLY_C=$(ONLY_C) \ + COV=$(COV) .PHONY: default default: install diff --git a/build/config/BUILDCONFIG.gn b/build/config/BUILDCONFIG.gn index efe75a739dccc3c7aab81a16bd9b50ff48e092cd..58f11e6829075e805ff374ef95f547f8925b25f4 100755 --- a/build/config/BUILDCONFIG.gn +++ b/build/config/BUILDCONFIG.gn @@ -33,6 +33,7 @@ declare_args() { MAST = 0 ASAN = 0 ONLY_C = 0 + COV = 0 } # Define global args