#!/bin/bash
set -e

# checkout build utilities
if [ ! -d projects ]; then
	git clone https://github.com/wagner-tech/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>'"