#!/bin/bash exec make check