#!/bin/sh
# $Id$
libexecdir=/opt/heimdal/sbin
PATH=$libexecdir:$PATH
export PATH
push --from $*
