From 3ab52e74b1de1c0be647eb36386ef5e16baeb60d Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Sat, 21 Feb 2009 16:45:19 -0400 Subject: 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. --- tools/proof | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100755 tools/proof (limited to 'tools/proof') diff --git a/tools/proof b/tools/proof new file mode 100755 index 00000000..d135b606 --- /dev/null +++ b/tools/proof @@ -0,0 +1,9 @@ +#!/bin/sh + +set -e + +tools/prepall +tools/buildall clean check + +cd ~/Products/ledger +make release-distcheck -- cgit v1.2.3