diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-03-07 22:34:19 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-03-07 22:34:19 -0400 |
| commit | 3cc2520a3295e6f28f29575754bad2154532accc (patch) | |
| tree | c015064b6e63c9789eaf36f8eb133346913a6c76 /tools/proof | |
| parent | dd128685004e359426d7efda763978286745a4f9 (diff) | |
| download | fork-ledger-3cc2520a3295e6f28f29575754bad2154532accc.tar.gz fork-ledger-3cc2520a3295e6f28f29575754bad2154532accc.tar.bz2 fork-ledger-3cc2520a3295e6f28f29575754bad2154532accc.zip | |
Don't run 'make fullcheck' for the gcov build
Diffstat (limited to 'tools/proof')
| -rwxr-xr-x | tools/proof | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/tools/proof b/tools/proof index aec67146..c0798575 100755 --- a/tools/proof +++ b/tools/proof @@ -36,10 +36,18 @@ function build_and_test() { exit 1 fi - echo %%% Testing $NAME %%% - if ! (cd $DIR && make fullcheck); then - echo %%% FAILED to test $NAME %%% - exit 1 + if [ "$NAME" = "gcov" ]; then + echo %%% Testing $NAME %%% + if ! (cd $DIR && make check); then + echo %%% FAILED to test $NAME %%% + exit 1 + fi + else + echo %%% Testing $NAME %%% + if ! (cd $DIR && make fullcheck); then + echo %%% FAILED to test $NAME %%% + exit 1 + fi fi } |