cargo.sh

   1 #!/bin/bash
   2
   3 if [ -z $CHANNEL ]; then
   4 export CHANNEL='debug'
   5 fi
   6
   7 pushd $(dirname "$0") >/dev/null
   8 source config.sh
   9 popd >/dev/null
  10
  11 cmd=$1
  12 shift
  13
  14 cargo $cmd --target $TARGET_TRIPLE $@