#!/bin/bash
set -e

if [ ! -d Downloads ]
then
	mkdir Downloads
fi
cd Downloads

if [ -d raspberry-tools ]
then
	pushd  raspberry-tools >/dev/null
		git_up
	popd >/dev/null
else
	# clone toolset
	git clone  https://github.com/raspberrypi/tools raspberry-tools
fi