#!/bin/bash
set -eu

echo "Running make" "$@"

make "$@"

echo
echo "Compilation finished successfully."
echo