1 files changed, 25 insertions, 0 deletions
diff --git a/tcwg-benchmark.sh b/tcwg-benchmark.sh
index ce37395f..567763d2 100755
--- a/tcwg-benchmark.sh
+++ b/tcwg-benchmark.sh
@@ -1,5 +1,30 @@
 set -ex
 
+usage ()
+{
+    echo "ERROR: Unsupported options: $@"
+    exit 1
+}
+
+while [ $# -ge 1 ]; do
+    case "$1" in
+	--toolchain_url) toolchain_url="$2" ;;
+	--bench_list) bench_list="$2" ;;
+	--config) config="$2" ;;
+	--cflags) cflags="$2" ;;
+	--sysroot) sysroot="$2" ;;
+	--fileserver) fileserver="$2" ;;
+	--forceinstall) forceinstall="$2" ;;
+	--scripts_branch) scripts_branch="$2" ;;
+	--label) label="$2" ;;
+	--build_number) BUILD_NUMBER="$2" ;;
+	--node_name) NODE_NAME="$2" ;;
+	--workspace) WORKSPACE="$2" ;;
+	*) usage "$@" ;;
+    esac
+    shift 2
+done
+
 wget --progress=dot:giga --no-check-certificate ${toolchain_url}
 tarball=$(basename ${toolchain_url})
 tar xf ${tarball}