#!/bin/sh

set -e

git stash
git checkout master

rm -fr ~/Products/ledger*

(./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log) \
    || notify "Ledger proof build failed"