Only do a "make check" if the build is optimized.
This commit is contained in:
parent
643f666468
commit
efc0dd9c2b
1 changed files with 6 additions and 1 deletions
|
|
@ -94,7 +94,12 @@ function build_ledger() {
|
||||||
|
|
||||||
(cd gdtoa && make) || exit 1
|
(cd gdtoa && make) || exit 1
|
||||||
make || exit 1
|
make || exit 1
|
||||||
|
|
||||||
|
if [ "$1" = "--opt" ]; then
|
||||||
|
make check || exit 1
|
||||||
|
else
|
||||||
make fullcheck || exit 1
|
make fullcheck || exit 1
|
||||||
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
# With all of that defined, now build ledger in all its various
|
# With all of that defined, now build ledger in all its various
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue