#!/bin/bash
echo "-----------------------------------------------------------------"
echo "Machine: x86_64 linux"
echo "-----------------------------------------------------------------"
make MACHINE=linux64 > /dev/null

echo "-----------------------------------------------------------------"
echo "Machine: arm6 linux"
echo "-----------------------------------------------------------------"
make MACHINE=arm6 > /dev/null

echo "-----------------------------------------------------------------"
echo "Machine: arm7 linux"
echo "-----------------------------------------------------------------"
make MACHINE=arm7 > /dev/null

echo "-----------------------------------------------------------------"
echo "Machine: aarch64 linux"
echo "-----------------------------------------------------------------"
AARCH64DIR=$HOME/dev/arm-gnu-toolchain-14.2.rel1-x86_64-aarch64-none-linux-gnu make MACHINE=aarch64 > /dev/null

echo "-----------------------------------------------------------------"
echo "Machine: riscv64 linux"
echo "-----------------------------------------------------------------"
make MACHINE=riscv64 > /dev/null