#!/usr/bin/env bash

make --file=tools/makefile