Merge branch 'develop'

8 jobs for prrt-0.4.0 in 1 minute and 20 seconds (queued for 2 seconds)
Name Stage Failure
test:prrt_functional Test There is an unknown failure, please try again
Updating/initializing submodules recursively...
Submodule 'prrt/xlap' ( registered for path 'prrt/xlap'
Cloning into '/home/gitlab-runner/builds/3a5409e2/1/LARN/PRRT/prrt/xlap'...
Submodule path 'prrt/xlap': checked out '956abea52c2a88e6d5124a5bf04289a1c2563ca4'
Downloading artifacts for build:prrt (10948)...
Downloading artifacts from coordinator... ok
id=10948 responseStatus=200 OK token=kfbTmui1
$ CC=gcc-5 CXX=g++-5 cmake . -DPRRT_TESTS=1
CMake Error: The current CMakeCache.txt directory /home/gitlab-runner/builds/3a5409e2/1/LARN/PRRT/CMakeCache.txt is different than the directory /home/gitlab-runner/builds/3a5409e2/0/LARN/PRRT where CMakeCache.txt was created. This may result in binaries being created in the wrong place. If you are not sure, reedit the CMakeCache.txt
ERROR: Job failed: exit status 1