From 35f8e6690c9b4a54dee75fb2b2baede227a11239 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Fri, 6 May 2022 17:55:11 +0200
Subject: [PATCH] fixed include flag in build script

---
 build.sh | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/build.sh b/build.sh
index 5e958ca..b9ebcfa 100644
--- a/build.sh
+++ b/build.sh
@@ -52,18 +52,18 @@ if [[ "$1" == "test" ]]; then ########## TEST ##########
     echo "Output generated as '$testOutput'"
     ###
 elif [[ "$1" == "install" ]]; then ########## INSTALL ##########
+    ###
+    echo "Installing header files..."
+    ###
+
+    # Create why2 directory
+    if [[ ! -d $includeDirectory ]]; then
+        mkdir $includeDirectory
+    fi
+
+    cp $includeFiles $includeDirectory
+
     if [[ "$2" == "include" ]]; then
-        ###
-        echo "Installing header files..."
-        ###
-
-        # Create why2 directory
-        if [[ ! -d $includeDirectory ]]; then
-            mkdir $includeDirectory
-        fi
-
-        cp $includeFiles $includeDirectory
-
         exit
     fi