#!/bin/sh
err=0
count=0
while [ $err -eq 0 ]; do
count=$((count + 1))
echo starting run number $count
make check
err=$?
done