From ad0ebb87a47e8ca1dfc2a2e3fbddca4de5102b49 Mon Sep 17 00:00:00 2001
From: Nitish <snapdgnn@proton.me>
Date: Thu, 21 Mar 2024 00:46:50 +0530
Subject: [PATCH] [JSON] Suppress command echo to stdout

Currently, when executing `make json`, the command itself is echoed,
causing issues with the JSON representation.

This PR Suppress this echoing, ensuring a proper JSON output without the need for any manual editing later on.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1c414c8ff..d45e630a9 100644
--- a/Makefile
+++ b/Makefile
@@ -200,7 +200,7 @@ all: ocaml_emulator/riscv_ocaml_sim_$(ARCH) c_emulator/riscv_sim_$(ARCH) riscv_i
 .PHONY: all
 
 json: $(SAIL_SRCS) model/main.sail Makefile
-	sail -json $(SAIL_FLAGS) $(SAIL_SRCS)
+	@sail -json $(SAIL_FLAGS) $(SAIL_SRCS)
 
 output: $(SAIL_SRCS) model/main.sail Makefile
 	sail -output-sail $(SAIL_FLAGS) $(SAIL_SRCS)