summaryrefslogtreecommitdiff
path: root/tools/proof
diff options
context:
space:
mode:
authorJohn Wiegley <johnw@newartisans.com>2010-06-12 15:42:02 -0400
committerJohn Wiegley <johnw@newartisans.com>2010-06-12 15:43:00 -0400
commitb1b4e2aadff5983d443d70c09ea86a41b015873f (patch)
tree2c40305c9f9841a4c3d453a4a5c49ec69056b4b2 /tools/proof
parent0555e7f61ef14ec667f8ba611e60fd96133a9676 (diff)
downloadfork-ledger-b1b4e2aadff5983d443d70c09ea86a41b015873f.tar.gz
fork-ledger-b1b4e2aadff5983d443d70c09ea86a41b015873f.tar.bz2
fork-ledger-b1b4e2aadff5983d443d70c09ea86a41b015873f.zip
Add support for typed metadata
The metadata construct 'Key: Value' is now just a special case for 'Key:: "Value"'. Another after a :: in metadata setting is parsed as a full value expression and typed as such. For example: ; Key:: $400 + $500 ledger -l 'tag("Key") < $1000'
Diffstat (limited to 'tools/proof')
-rwxr-xr-xtools/proof2
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 | \