ledger/tools/proof
John Wiegley 3ab52e74b1 Tools changes to build for multiple targets
This makes it easier for me to build a version of ledger with
optimizations, one for coverage analysis, one for profiling, etc.
2009-02-21 16:45:19 -04:00

9 lines
105 B
Bash
Executable file

#!/bin/sh
set -e
tools/prepall
tools/buildall clean check
cd ~/Products/ledger
make release-distcheck