blob: 70babb62ad1810f292e0e3811c5844874f0cb034 [file] [log] [blame]
Anthony Youngccd4ea32011-11-08 17:25:12 -06001#!/bin/bash
2
3EXECUTOR_NUMBER=$1
4CONFIGURATION=$2
5
6function usage() {
7 echo "Usage: $0 - Build a configuration"
8 echo ""
9 echo "$0 [EXECUTOR_NUMBER] [CONFIGURATION]"
10 exit 1
11}
12
13# Validate inputs
14if [[ "$EXECUTOR_NUMBER" = "" || "$CONFIGURATION" = "" ]]; then
15 usage
16fi
17
18# Execute configuration script
19cd configurations && ./$CONFIGURATION.sh $EXECUTOR_NUMBER $CONFIGURATION