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