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=a... [2] http://jenkins.osmocom.org/jenkins/job/TEST_libosmocore_arm_none_eabi/