#!/bin/sh -eux
/usr/libexec/krb5-tests