#!/bin/sh make -k runtest-TESTS