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