#!/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 '" echo "Available are:" ls *.co