2008-12-19 01:56:25 -08:00
|
|
|
#! /bin/bash
|
2007-05-20 11:03:49 -07:00
|
|
|
[ -z $1 ] || TARGET=$1
|
|
|
|
[ -z $TARGET ] && TARGET=all
|
2014-05-08 10:06:45 -07:00
|
|
|
for i in [0123]* Demo; do
|
2007-05-20 11:03:49 -07:00
|
|
|
echo "Building $i";
|
2008-11-27 15:52:13 -08:00
|
|
|
pushd $i && make clean $TARGET;
|
|
|
|
popd;
|
2007-05-20 11:03:49 -07:00
|
|
|
done
|