Skip to content

Commit

Permalink
gemini-launcher: Let user pass command line arguments
Browse files Browse the repository at this point in the history
The 'gemini' tool has bunch of command line options that the user can
specify. Allow users to do that with 'gemini-launcher' script too.
  • Loading branch information
penberg committed Mar 12, 2019
1 parent ad7422f commit 7853d2b
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion scripts/gemini-launcher
Original file line number Diff line number Diff line change
Expand Up @@ -20,4 +20,5 @@ $GEMINI_CMD \
--max-tests=100000000 \
--fail-fast \
--test-cluster=${TEST_IP} \
--oracle-cluster=${ORACLE_IP}
--oracle-cluster=${ORACLE_IP} \
"$@"

0 comments on commit 7853d2b

Please sign in to comment.