From 5c76ce39235ef58ce2355dd189f93a0a8fd85955 Mon Sep 17 00:00:00 2001
From: umarcor <unai.martinezcorral@ehu.eus>
Date: Mon, 30 Nov 2020 22:19:38 +0100
Subject: [PATCH] ci/win: add 'build.sh'

---
 .github/build.sh           | 15 +++++++++++++++
 .github/workflows/test.yml |  5 +----
 2 files changed, 16 insertions(+), 4 deletions(-)
 create mode 100755 .github/build.sh

diff --git a/.github/build.sh b/.github/build.sh
new file mode 100755
index 000000000..00e8b5336
--- /dev/null
+++ b/.github/build.sh
@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+
+wrap_task() {
+  echo "::group::$@"
+  "$@"
+  echo '::endgroup::'
+}
+
+wrap_task ./autoconf.sh
+wrap_task ./configure
+wrap_task make install
+
+which iverilog
+
+wrap_task make check
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index b62d8df78..3104733d4 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -61,9 +61,6 @@ jobs:
       run: |
         export mingw64='cmd //C RefreshEnv.cmd & set MSYS=winsymlinks:nativestrict & C:\\msys64\\msys2_shell.cmd -defterm -no-start -mingw64 -full-path -here -c "$@" --'
 
-        $mingw64 ./autoconf.sh
-        $mingw64 ./configure
-        $mingw64 make install
-        $mingw64 make check
+        $mingw64 ./.github/build.sh
 
         $mingw64 ./.github/test.sh