#! /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