#!/bin/sh

if test -z "$PVS_LIBRARY_PATH"; then
    export PVS_LIBRARY_PATH=$1/pvs
else
    export PVS_LIBRARY_PATH=$1/pvs:$PVS_LIBRARY_PATH
fi
shift
exec "$@"
