#!/bin/sh
if HOST="$HOST" make -B -f Makefile_custom "$@"; then
  echo CUSTOMCC BUILD SUCCESSFUL
else
  echo CUSTOMCC BUILD FAILED
  exit 1
fi