#!/bin/bash -e

make check