make_all.sh

#! /usr/bin/env bash

# For quieter output, run this with -Q as an argument

ARGS=$@
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
MAKE=./make.sh

dir_make () {
	if [ ! -d $1 ]; then
		echo "`pwd`/$1 is not a directory"
		exit 1
	fi
	echo $1/
	cd $1

	$MAKE $ARGS

	RET=$?
	if [ $RET -ne 0 ]; then
		echo "============================"
		echo "Failure: ${RET}"
		echo "pwd: `pwd`"
		echo "============================"
	fi

	echo

	cd $DIR
}

example_dirs=( basic more/1-wire more/ain more/asynch more/config more/dio more/dio_ef more/ethernet more/i2c more/list_all more/lua more/sd more/spi more/stream more/testing more/utilities more/watchdog more/wifi )
for i in "${example_dirs[@]}"; do
	dir_make $i
done