diff --git a/common/make.config b/common/make.config index d1443219..9f2e2c1e 100755 --- a/common/make.config +++ b/common/make.config @@ -11,7 +11,7 @@ ifdef COMPILER_NAME FLAGS_TO_ADD += -D_MY_COMPILER_NAME_=\"$(COMPILER_NAME)\" endif -MY_VERIFICATION_DISABLE = 0 +MY_VERIFICATION_DISABLE = 1 ifneq ($(MY_VERIFICATION_DISABLE),0) FLAGS_TO_ADD += -DMY_VERIFICATION_DISABLE endif