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

#echo "-----------------------------------------------------------------"
#echo "Machine: i686 linux"
#echo "-----------------------------------------------------------------"
#make MACHINE=linux32 > /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: cosmocc multi"
echo "-----------------------------------------------------------------"
if [ -e $HOME/cosmocc/bin/cosmocc ]
then
COSMOCCDIR=$HOME/cosmocc  make MACHINE=cosmocc > /dev/null
else
  echo "cosmocc not found"
fi