+++ /dev/null
-#!/bin/bash
-set -e
-
-# checkout build utilities
-if [ -d projects ]; then
- pushd projects >/dev/null
- git pull origin master
- popd >/dev/null
-else
- git clone https://github.com/wagner-tech/projects/
-fi
-
-ln -sf projects/tools/make/configure .
-
-echo "Next step: call 'configure <project> <tag>'"
-echo "Available are:"
-ls *.co