#!/bin/bash
echo "This does nothing. Just run make."