!-------------------------------------------------------------------------------
!
!  JUMP linker options file - used simply to embed some version information.
!
!-------------------------------------------------------------------------------
!
NAME = JUMP
!
IDENTIFICATION = "V3.4 1999-11-10"
!
!-------------------------------------------------------------------------------