#!/usr/bin/env sh

make --file=tools/makefile