#! /bin/sh +x
set -e

pushd ../../Snippets/compiler/$ANDROID_CONFIG
if [ $# -gt 0 ]; then

for config in $*; do
	make $config -j$MAKE_THREADS
done
else
echo Need a Config!
fi 

popd