#! /bin/sh
LARCH_PATH='.;c:\\splint-3.1.1\\lib'
export LARCH_PATH
include="c:/cygwin64/lib/gcc/x86_64-pc-cygwin/4.9.3/include/ssp;c:/cygwin64/lib/gcc/x86_64-pc-cygwin/4.9.3/include"
export include
PATH="/cygdrive/c/splint-3.1.1/bin:$PATH"
export PATH
exec /cygdrive/c/splint-3.1.1/bin/splint.exe "$@"