echo "*******************************************************************************"; \
		echo; \
	    echo "The '$@' folder is missing. Have you run 'git submodule update --init'?"; \
		echo; \
	    echo "*******************************************************************************"; \

	    echo "**********************************************************"; \
	    echo; \
	    echo "The '$@' folder is missing. Have you run"; \
	    echo "   'git submodule update --init'?"; \
	    echo; \
	    echo "**********************************************************"; \
	    exit 1; \
	fi
	@if [ ! -f $@/Makefile ] && [ ! -f $@/makefile ]; then \
	    echo "**********************************************************"; \
	    echo; \
	    echo "The '$@' folder exists, but the Makefile is missing!"; \
	    echo "Did 'git submodule update' work properly?"; \
	    echo; \
	    echo "**********************************************************"; \