#!/bin/bash
exec ./run make "$@"
