ENGO150/WHY2
Template
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Activity

fixed include flag in build script

Browse Source
This commit is contained in:
Václav Šmejkal 2022-05-06 17:55:11 +02:00
parent 6907ba160e
commit 35f8e6690c
1 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
build.sh
View File

@ -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