update builder interface
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 @@
fi
# Execute configuration script
-cd configurations && ./$CONFIGURATION.sh $EXECUTOR_NUMBER $CONFIGURATION
+cd configurations && ./$CONFIGURATION.sh $EXECUTOR_NUMBER $CONFIGURATION $ADAPTER