From ea4b231c4b6efae28b0dee0aa45160ad806235c0 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Mon, 11 Jul 2022 18:05:35 +0200
Subject: [PATCH] removed build script usage from why2-project workflow

"Think before you remove somethin"
---
 .github/workflows/why2-project.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/why2-project.yml b/.github/workflows/why2-project.yml
index bb3649d..f3742eb 100644
--- a/.github/workflows/why2-project.yml
+++ b/.github/workflows/why2-project.yml
@@ -15,7 +15,6 @@ jobs:
         include:
           - os: ubuntu-latest
             configure: configure.sh
-            build: build.sh
             test: test
 
     steps:
@@ -33,13 +32,12 @@ jobs:
       - name: Permissions
         run: |
           chmod +x ${{ matrix.configure }}
-          chmod +x ${{ matrix.build }}
 
       - name: Preparation
         run: sudo ./${{ matrix.configure }}
 
       - name: Install WHY2
-        run: sudo ./${{ matrix.build }} install
+        run: sudo make install
 
       - name: Download WHY2 test project
         run: curl -L -o ${{ matrix.test }}.c https://gist.github.com/ENGO150/d8419b6c31ffb68ebb930a5b41af8c73/raw