#!/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: aarch64 linux"
echo "-----------------------------------------------------------------"
make MACHINE=aarch64 clean > /dev/null

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