#!/bin/bash

DIR=/home/ec2-user/philippgeyer.co.uk

pushd ${DIR}

make

popd