update builder interface

13 years ago · 792b1165a4
parent 0ae5fd039b
commit 792b1165a4
1 changed files with 3 additions and 2 deletions
--- 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