add in rc
diff --git a/tools/jenkins/build_configuration.sh b/tools/jenkins/build_configuration.sh
index cab133d..e295ef2 100755
--- a/tools/jenkins/build_configuration.sh
+++ b/tools/jenkins/build_configuration.sh
@@ -3,18 +3,19 @@
EXECUTOR_NUMBER=$1
CONFIGURATION=$2
ADAPTER=$3
+RC=$4
function usage() {
echo "Usage: $0 - Build a configuration"
echo ""
- echo "$0 [EXECUTOR_NUMBER] [CONFIGURATION] [ADAPTER]"
+ echo "$0 [EXECUTOR_NUMBER] [CONFIGURATION] [ADAPTER] [RC (optional)]"
exit 1
}
# Validate inputs
-if [[ "$EXECUTOR_NUMBER" = "" || "$CONFIGURATION" = "" ]]; then
+if [[ "$EXECUTOR_NUMBER" = "" || "$CONFIGURATION" = "" || "$ADAPTER" = "" ]]; then
usage
fi
# Execute configuration script
-cd configurations && ./$CONFIGURATION.sh $EXECUTOR_NUMBER $CONFIGURATION $ADAPTER
+cd configurations && ./$CONFIGURATION.sh $EXECUTOR_NUMBER $CONFIGURATION $ADAPTER "$RC"