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