#!/bin/bash
rm -f "$1"
make "$1"