#!/bin/sh
set -e
cd "$(dirname "$0")"
cc -O2 -Wall -o tonga_mm_dep_overflow tonga_mm_dep_overflow.c
echo "built tonga_mm_dep_overflow"