tools/proof


1
2
3
4
5
6
7
8
9

#!/bin/sh

set -e

tools/prepall
tools/buildall clean check

cd ~/Products/ledger
make release-distcheck