Hi Harald,
thanks a lot for your clarification.
The "make check" and "make distcheck"[1] have been disabled as an
interim workaround. Now, all multi-configuration axes (FreeBSD_amd64,
debian8_amd64, arm-none-eabi) are successful. [2]
If the build job is "sane" for everyone(?), I'd push the
jenkins-arm-none-eabi.sh build script to gerrit for review and apply
changes to libosmocore and libosmocore_gerrit job after a successful
patch submission. Does everyone agree?
Regards,
André
[1]
http://jenkins.osmocom.org/jenkins/job/TEST_libosmocore_arm_none_eabi/arch=…
[2]
http://jenkins.osmocom.org/jenkins/job/TEST_libosmocore_arm_none_eabi/