-
Pietro Incardona authoredPietro Incardona authored
build_sec_OS.sh 487 B
#! /bin/bash
# Make a directory in /tmp/OpenFPM_pdata
echo "Directory: $1"
echo "Machine: $2"
mkdir src/config
if [ "$2" == "windows10" ]; then
echo "Compiling on windows10"
echo "1" > input_install
echo "2" >> input_install
echo "y" >> input_install
echo "1" >> input_install
branch=$(git ls-remote --heads origin | grep $(git rev-parse HEAD) | cut -d / -f 3)
git pull origin master
./install -i "/home/jenkins/$branch" < input_install
fi