#! /bin/sh

SUCCESS=0

for test in "$@"; do
    if ! sh dtx/test1-1 "$test"; then
	SUCCESS=1
	break
    fi
done

exit $SUCCESS
