Permalink
Browse files

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

  • Loading branch information...
1 parent 1630739 commit 3497354bbf20822ef4fcb5cb7ece872f57f92062 @dicej dicej committed Mar 15, 2013
Showing with 5 additions and 5 deletions.
  1. +5 −5 test/ci.sh
View
@@ -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

0 comments on commit 3497354

Please sign in to comment.