#/bin/sh
# Generated automatically from RAT Makefile.  Edit there.
PATH=${PATH}:.
exec rat-4.2.25 $*
