From a647d1a908385c385ad8323918b222d7b3a27710 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Burak=20Bilge=20Yal=C3=A7=C4=B1nkaya?=
 <bbyalcinkaya@gmail.com>
Date: Fri, 11 Aug 2023 01:29:19 +0300
Subject: [PATCH] Update Makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index b9476d4d..3cf5dfe7 100644
--- a/Makefile
+++ b/Makefile
@@ -126,7 +126,7 @@ wasm-deps:
 # -------------------
 
 HOOK_NAMESPACES    := KRYPTO
-KOMPILE_OPTS       := --hook-namespaces \"$(HOOK_NAMESPACES)\" -I $(CURDIR) -v
+KOMPILE_OPTS       := --hook-namespaces \"$(HOOK_NAMESPACES)\" -I $(CURDIR)
 
 ifneq (,$(K_COVERAGE))
     KOMPILE_OPTS += --coverage