ExternalVendorCode/corda
1
0
Fork 0
mirror of https://github.com/corda/corda.git synced 2025-04-18 16:18:12 +00:00
Code Issues Actions2 Packages Projects Releases Wiki Activity

allow extra flags to be passed to make in ci.sh

Browse Source
This commit is contained in:
Joel Dice 2013-03-15 17:48:47 -06:00
parent 1630739849
commit 3497354bbf
1 changed files with 5 additions and 5 deletions

10
test/ci.sh

@ -2,11 +2,11 @@
set -e
make test
make mode=debug test
make process=interpret test
make ${flags} test
make ${flags} mode=debug test
make ${flags} process=interpret test
# bootimage and openjdk builds without openjdk-src don't work:
if [ -z "${openjdk}" ]; then
make bootimage=true test
make ${flags} bootimage=true test
fi
make tails=true continuations=true test
make ${flags} tails=true continuations=true test