#!/usr/bin/env sh make -f tools/makefile