#! /bin/sh
exec '/tkis/tools/bin/bison' -y "$@"
