1#!/bin/sh
2# $Id$
3libexecdir=%libexecdir%
4PATH=$libexecdir:$PATH
5export PATH
6push --from $*
7