#!/bin/sh make -o Makefile runtest-TESTS