From a89eab47f5ffc04ee4196b1290ef221a36e77a6e Mon Sep 17 00:00:00 2001
From: Martin Whitaker <icarus@martin-whitaker.me.uk>
Date: Thu, 28 Jan 2021 00:38:45 +0000
Subject: [PATCH] CI: run 'make check' before 'make install'.

This makes sure 'make check' works when iverilog isn't already
installed on the system.
---
 .github/workflows/test.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 32d2ae3d0..2dfd4dd05 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -26,12 +26,12 @@ jobs:
         sudo apt update -qq
         sudo apt install -y make g++ git bison flex gperf libreadline-dev autoconf
 
-    - name: Build, install and check
+    - name: Build, check and install
       run: |
         autoconf
         ./configure
-        sudo make install
         make check
+        sudo make install
 
     - name: Test
       run: ./.github/test.sh