diff --git a/tools/jenkins/build_configuration.sh b/tools/jenkins/build_configuration.sh index 70babb6..cab133d 100755 --- a/tools/jenkins/build_configuration.sh +++ b/tools/jenkins/build_configuration.sh @@ -2,11 +2,12 @@ EXECUTOR_NUMBER=$1 CONFIGURATION=$2 +ADAPTER=$3 function usage() { echo "Usage: $0 - Build a configuration" echo "" - echo "$0 [EXECUTOR_NUMBER] [CONFIGURATION]" + echo "$0 [EXECUTOR_NUMBER] [CONFIGURATION] [ADAPTER]" exit 1 } @@ -16,4 +17,4 @@ if [[ "$EXECUTOR_NUMBER" = "" || "$CONFIGURATION" = "" ]]; then fi # Execute configuration script -cd configurations && ./$CONFIGURATION.sh $EXECUTOR_NUMBER $CONFIGURATION +cd configurations && ./$CONFIGURATION.sh $EXECUTOR_NUMBER $CONFIGURATION $ADAPTER