#!/bin/bash

if [ -z $CHANNEL ]; then
export CHANNEL='debug'
fi

pushd $(dirname "$0") >/dev/null
source config.sh
popd >/dev/null

cmd=$1
shift

cargo $cmd --target $TARGET_TRIPLE $@