From b3217ccb032045fe4a6f0e1460bf9d3b6a845400 Mon Sep 17 00:00:00 2001
From: mrdudz <mrdudz@users.noreply.github.com>
Date: Sat, 5 Feb 2022 17:44:32 +0100
Subject: [PATCH] build util dir when testing

---
 .github/workflows/build-on-pull-request.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-on-pull-request.yml b/.github/workflows/build-on-pull-request.yml
index 7f09ec6af..307cbd048 100644
--- a/.github/workflows/build-on-pull-request.yml
+++ b/.github/workflows/build-on-pull-request.yml
@@ -23,7 +23,9 @@ jobs:
 
       - name: Build the tools.
         shell: bash
-        run: make -j2 bin USER_CFLAGS=-Werror
+        run: |
+            make -j2 bin USER_CFLAGS=-Werror
+            make -j2 util
       - name: Build the platform libraries.
         shell: bash
         run: make -j2 lib QUIET=1