#! /bin/bash

if [ "$NO_CHECK" == "1" ]; then
	exit 0
fi

make check
