ntp-tools / clean.sh /
0ddaed2 4 months ago
1 contributor
31 lines | 1.294kb
#!/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