11 lines
181 B
Bash
Executable file
11 lines
181 B
Bash
Executable file
#!/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"
|