#!/bin/sh
make check-ais