#! /bin/sh
prefix=/opt/kaffe
exec_prefix=${prefix}
exec ${exec_prefix}/bin/kaffe at.dms.dis.Main ${1+"$@"}