tinydns / clean.sh /
25929d2 4 months ago
2 contributor
30 lines | 1.293kb
#!/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