#!/bin/sh
set -e
exec make gate
