!-------------------------------------------------------------------------------
!
!  JUMP linker options file - used simply to embed some version information.
!
!-------------------------------------------------------------------------------
!
NAME = JUMP
!
IDENTIFICATION = "V5.0 2005-02-19"
!
!-------------------------------------------------------------------------------