From 792b1165a4ce0d1851603e2a7b8b9126b15da8e8 Mon Sep 17 00:00:00 2001
From: Anthony Young <sleepsonthefloor@gmail.com>
Date: Wed, 9 Nov 2011 22:40:49 -0800
Subject: [PATCH] update builder interface

---
 tools/jenkins/build_configuration.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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 @@ if [[ "$EXECUTOR_NUMBER" = "" || "$CONFIGURATION" = "" ]]; then
 fi
 
 # Execute configuration script
-cd configurations && ./$CONFIGURATION.sh $EXECUTOR_NUMBER $CONFIGURATION
+cd configurations && ./$CONFIGURATION.sh $EXECUTOR_NUMBER $CONFIGURATION $ADAPTER