From aed4917fbd64898efc7cb36b0231798863137637 Mon Sep 17 00:00:00 2001
From: Ivan Radanov Ivanov <ivanov.i.aa@m.titech.ac.jp>
Date: Mon, 28 Mar 2022 11:34:26 +0900
Subject: [PATCH] Disable verification by default when compiling

---
 common/make.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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