It appears it's probably bash crashing:
8: /<<BUILDDIR>>/mir-0.26.1+17.04.20170203/tools/detect_fd_leaks.bash: line 84: 27470 Segmentation fault (core dumped) $@ 2>&1 8: 27471 Done | detect_fd_leaks
Although would be easy to confirm if we could get that core file.
It appears it's probably bash crashing:
8: /<<BUILDDIR> >/mir-0. 26.1+17. 04.20170203/ tools/detect_ fd_leaks. bash: line 84: 27470 Segmentation fault (core dumped) $@ 2>&1
8: 27471 Done | detect_fd_leaks
Although would be easy to confirm if we could get that core file.