#! /bin/sh

exec >&3
echo "=============================================================================="
echo "$0 $@"
echo "\$PPD=\"$PPD\""
echo "\$PPR_RIPOPTS=\"$PPR_RIPOPTS\""
echo "=============================================================================="

exit 0
