diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-03-07 22:30:39 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-03-07 22:30:39 -0400 |
| commit | dd128685004e359426d7efda763978286745a4f9 (patch) | |
| tree | ee1a7fff9b3a0cc4fa855f51ef8652172119ec49 /tools/proof | |
| parent | ec382f54b7cffce3433896b331ef36c52de24b08 (diff) | |
| download | fork-ledger-dd128685004e359426d7efda763978286745a4f9.tar.gz fork-ledger-dd128685004e359426d7efda763978286745a4f9.tar.bz2 fork-ledger-dd128685004e359426d7efda763978286745a4f9.zip | |
In tools/proof, remove Products directories first
Diffstat (limited to 'tools/proof')
| -rwxr-xr-x | tools/proof | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/proof b/tools/proof index d30bc678..aec67146 100755 --- a/tools/proof +++ b/tools/proof @@ -43,8 +43,13 @@ function build_and_test() { fi } +rm -fr ~/Products/ledger-opt build_and_test opt + +rm -fr ~/Products/ledger-gcov build_and_test gcov + +rm -fr ~/Products/ledger build_and_test std echo %%% Building release-distcheck %%% |