bootstrap_opentee.sh

#!/bin/bash
# Pull down OpenTEE project

set -e

cd $HOME/open-tee

repo init -u https://github.com/Open-TEE/manifest.git
repo sync -j10 -q --no-clone-bundle

echo ""
echo "========================="
echo "OpenTEE repository pulled"
echo ""
echo "To build:"
echo "$ vagrant ssh"
echo "$ cd open-tee"
echo "$ qbs"