#!/bin/sh make test-stage1 TEST_FILES="$*"