#!/bin/bash set -e if [ ! -d projects ] then git clone https://github.com/wagner-tech/projects ln -s projects/tools/make/configure . fi echo "continue with ./configure " echo "available projects:" ls *.co