#!/bin/bash
echo "-----------------------------------------------------------------"
echo "Cleaning: x86_64 linux"
echo "-----------------------------------------------------------------"
make MACHINE=linux64 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

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