diff options
Diffstat (limited to 'tools')
| -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 %%% |