Missing jump.c when building

[antoine-bernabeu]

When building C code, the source code jump.c seems to be missing in the tics/src/ directory.

CMake Error at test/functional/CMakeLists.txt:27 (add_executable):
  Cannot find source file:
    /home/user/TICS/tics/src/jump.c

From TICS/tics/test/functional :

add_executable("ftest_jump"
    "${PROJECT_SOURCE_DIR}/test/functional/checkpoint/ftest_jump.c"
    "${PROJECT_SOURCE_DIR}/src/jump.c"
    "${PROJECT_SOURCE_DIR}/src/checkpoint.c"
    "${PROJECT_SOURCE_DIR}/src/stackarray.c"
    "${PROJECT_SOURCE_DIR}/src/virtualmem.c"
    "${PROJECT_SOURCE_DIR}/arch/msp430x/workingstack.c"
    "${PROJECT_SOURCE_DIR}/arch/msp430x/workingstack_nv_asm_small.S"
    "${PROJECT_SOURCE_DIR}/arch/msp430x/dma.c"
    "${PROJECT_SOURCE_DIR}/arch/msp430x/checkpoint_timer.c"
    "${PROJECT_SOURCE_DIR}/test/functional/ftest_util.c"
    "${SOURCE_FILES}"
    )