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