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