#!/bin/bash
echo "-----------------------------------------------------------------"
echo "Cleaning: x86_64 linux"
echo "-----------------------------------------------------------------"
make MACHINE=linux64 clean > /dev/null

#echo "-----------------------------------------------------------------"
#echo "Cleaning: i686 linux"
#echo "-----------------------------------------------------------------"
#make MACHINE=linux32 clean > /dev/null

echo "-----------------------------------------------------------------"
echo "Cleaning: arm6 linux"
echo "-----------------------------------------------------------------"
make MACHINE=arm6 clean > /dev/null

echo "-----------------------------------------------------------------"
echo "Cleaning: arm7 linux"
echo "-----------------------------------------------------------------"
make MACHINE=arm7 clean > /dev/null