#!/usr/bin/env sh

## exec

make --file=tools/makefile