From 59739aea2540e3b18b3b5d9f71fb48784ae1f736 Mon Sep 17 00:00:00 2001
From: Nick Volynkin <nick.volynkin@gmail.com>
Date: Thu, 29 Jun 2023 14:15:32 +0300
Subject: [PATCH] ci: run make template in verbose mode

In verbose mode, `make template` shows the exact command that is
executed. It helps look and learn about the particular parameters
used to compile circuits, in comparison with common x86 comipiling.
---
 scripts/ci.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/ci.sh b/scripts/ci.sh
index 704aa0e..5a56b08 100755
--- a/scripts/ci.sh
+++ b/scripts/ci.sh
@@ -45,7 +45,7 @@ compile() {
         mkdir -p "$REPO_ROOT/build"
         cd "$REPO_ROOT/build"
         cmake -DCIRCUIT_ASSEMBLY_OUTPUT=TRUE ..
-        make template
+        VERBOSE=1 make template
         cd -
         check_file_exists "$REPO_ROOT/build/src/template.ll"
     fi