#!/bin/bash
set -e

# clone toolset
git clone  https://github.com/raspberrypi/tools raspberry-tools

# this repos has no tags -> no checkout