diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-02-28 06:18:21 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-02-28 06:18:21 -0400 |
| commit | 5afc4c3770380bd653168772c79008959dfc125f (patch) | |
| tree | a91ece323bf2e3e68ca08f2136af45e75e951a8e /tools/prove.sh | |
| parent | 19cfd9e23b7cd4a7976591290b17e7ba20dd5a50 (diff) | |
| download | fork-ledger-5afc4c3770380bd653168772c79008959dfc125f.tar.gz fork-ledger-5afc4c3770380bd653168772c79008959dfc125f.tar.bz2 fork-ledger-5afc4c3770380bd653168772c79008959dfc125f.zip | |
Reorganized some files in tools/ and test/
Diffstat (limited to 'tools/prove.sh')
| -rwxr-xr-x | tools/prove.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/prove.sh b/tools/prove.sh deleted file mode 100755 index c62c4988..00000000 --- a/tools/prove.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -if [ -n "$1" ]; then - ./ledger --seed=$1 --actual --args-only generate > /tmp/cout -else - ./ledger --actual --args-only generate > /tmp/cout -fi - -ledger -f /tmp/cout --actual --args-only print > /tmp/print - -diff -w -U3 /tmp/cout /tmp/print |