#!/bin/bash
set -e

# checkout build utilities
if [ ! -d projects ]; then
	git clone http://wagnertech.de/git/projects/
else
	pushd projects >/dev/null
		git pull origin master
	popd >/dev/null
fi

ln -sf projects/tools/make/configure .

echo "Next step: call 'configure <project> <tag>'"
echo "Available are:"
ls *.co