2011-11-08 17:25:12 -06:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
EXECUTOR_NUMBER=$1
|
|
|
|
CONFIGURATION=$2
|
2011-11-09 22:40:49 -08:00
|
|
|
ADAPTER=$3
|
2011-11-10 11:38:09 -08:00
|
|
|
RC=$4
|
2011-11-08 17:25:12 -06:00
|
|
|
|
2014-02-21 15:35:08 +11:00
|
|
|
function usage {
|
2011-11-08 17:25:12 -06:00
|
|
|
echo "Usage: $0 - Build a configuration"
|
|
|
|
echo ""
|
2011-11-10 11:38:09 -08:00
|
|
|
echo "$0 [EXECUTOR_NUMBER] [CONFIGURATION] [ADAPTER] [RC (optional)]"
|
2011-11-08 17:25:12 -06:00
|
|
|
exit 1
|
|
|
|
}
|
|
|
|
|
|
|
|
# Validate inputs
|
2011-11-10 11:38:09 -08:00
|
|
|
if [[ "$EXECUTOR_NUMBER" = "" || "$CONFIGURATION" = "" || "$ADAPTER" = "" ]]; then
|
2011-11-08 17:25:12 -06:00
|
|
|
usage
|
|
|
|
fi
|
|
|
|
|
|
|
|
# Execute configuration script
|
2011-11-10 11:38:09 -08:00
|
|
|
cd configurations && ./$CONFIGURATION.sh $EXECUTOR_NUMBER $CONFIGURATION $ADAPTER "$RC"
|