message: Update tup version used in CI
diff: @@ -31,9 +31,10 @@ install:
  - if [ ! -e $GCC_DIR/bin/arm-none-eabi-gcc ]; then wget $GCC_URL -O $GCC_ARCHIVE; tar xfj $GCC_ARCHIVE -C $HOME/dl; fi
  - export PATH=$PATH:$GCC_DIR/bin
  -- export TUP_DIR=$HOME/dl/tup_0.7.5-0~16.04.york0_amd64
  -- export TUP_ARCHIVE=$HOME/dl/tup_0.7.5-0~16.04.york0_amd64.deb
  -- export TUP_URL=http://ppa.launchpad.net/jonathonf/tup/ubuntu/pool/main/t/tup/tup_0.7.8-2~16.04.york0_amd64.deb
  +- export TUP_VER=tup_0.7.8-3~16.04.york0_amd64
  +- export TUP_DIR=$HOME/dl/$TUP_VER
  +- export TUP_ARCHIVE=$HOME/dl/$TUP_VER.deb
  +- export TUP_URL=http://ppa.launchpad.net/jonathonf/tup/ubuntu/pool/main/t/tup/$TUP_VER.deb
  - if [ ! -e $TUP_DIR/bin/tup ]; then wget $TUP_URL -O $TUP_ARCHIVE; dpkg-deb -R $TUP_ARCHIVE $TUP_DIR; fi
  - export PATH=$PATH:$TUP_DIR/usr/bin
  