<../../../../../../mkconfig TARG=\ ExecOptionPermission.dis\ ExecPermission.dis\ DISBIN=$ROOT/java/dis/java/java/com/sun/rmi/rmid <$ROOT/mkfiles/mkjava