From 81722b3fdb4e500ca1b9b893e0c2efea1efd0b24 Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Fri, 11 May 2007 09:12:21 +0000 Subject: [PATCH] *** no comment *** --- verify.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/verify.sh b/verify.sh index 8a1ba3ad..c1abd0a8 100755 --- a/verify.sh +++ b/verify.sh @@ -103,8 +103,9 @@ function build_ledger() { } # With all of that defined, now build ledger in all its various -# flavors, do a "fullcheck" for each one (which uses valgrind on -# Linux, and gmalloc on OS/X). Note that this will take a long while! +# flavors, do a "fullcheck" for each non-optimized one (which uses +# valgrind on Linux, and gmalloc on OS/X), and a "check" for each +# optimized one. Note that this will take a long while! build_distcheck_from_scratch || exit 1 build_distcheck_from_distrib || exit 1