32 lines
638 B
Bash
Executable file
32 lines
638 B
Bash
Executable file
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
cd ~/src/ledger
|
|
|
|
VERSION=$(git describe --all --long)
|
|
|
|
if [[ -f ~/Products/last-proofed && \
|
|
$(< ~/Products/last-proofed) = $VERSION ]]; then
|
|
echo "No need to run tools/proof again"
|
|
exit 0
|
|
fi
|
|
|
|
rm -fr ~/Products/ledger*
|
|
|
|
time ./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log
|
|
|
|
if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
|
|
if [[ "$1" = "--alert" ]]; then
|
|
notify "Ledger proof build FAILED"
|
|
else
|
|
echo "Ledger proof build FAILED"
|
|
exit 1
|
|
fi
|
|
else
|
|
echo "Ledger proof build succeeded"
|
|
echo $VERSION > ~/Products/last-proofed
|
|
mv ~/Desktop/proof.log /tmp
|
|
fi
|
|
|
|
exit 0
|