why3-call-pvs 152 Bytes
Newer Older
1
#!/bin/sh
Jean-Christophe's avatar
Jean-Christophe committed
2

Jean-Christophe's avatar
Jean-Christophe committed
3
if test -z "$PVS_LIBRARY_PATH"; then
4
    export PVS_LIBRARY_PATH=$1
Jean-Christophe's avatar
Jean-Christophe committed
5
else
6
    export PVS_LIBRARY_PATH=$1:$PVS_LIBRARY_PATH
Jean-Christophe's avatar
Jean-Christophe committed
7
fi
8 9
shift
exec "$@"