#!/bin/sh export GIT_DIR=`pwd` export GIT_WORK_TREE=$GIT_DIR/.. cd .. # cd $PROJECT_PATH # runghc Nemesis clean git merge master # comment this if not using titan-live runghc Nemesis Main/compile-and-kill