diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/proof | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/proof b/tools/proof index daebc68c..755c3fe7 100755 --- a/tools/proof +++ b/tools/proof @@ -12,7 +12,7 @@ if [[ -f ~/Products/last-proofed && \ exit 0 fi -rm -fr ~/Products/ledger* +rm -fr ~/Products/ledger-proof time ./acprep --enable-cache --enable-doxygen \ --universal -j16 --warn proof 2>&1 | \ |