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

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