[lttng-dev] [lttng-tools] build failure on armel (debian)

[Jon Bernard]

Hey guys,

This bug¹ was filed recently:

    your package no longer builds on the armel buildds:
    https://buildd.debian.org/status/fetch.php?pkg=ltt-control&arch=armel&ver=2.4.1-1&stamp=1397064419

    >   CC       rculfhash.lo
    > /tmp/ccBG89vh.s: Assembler messages:
    > /tmp/ccBG89vh.s:1105: Error: selected processor does not support ARM mode `dmb'
    > /tmp/ccBG89vh.s:1286: Error: selected processor does not support ARM mode `dmb'
    > /tmp/ccBG89vh.s:3175: Error: selected processor does not support ARM mode `dmb'
    > /tmp/ccBG89vh.s:3725: Error: selected processor does not support ARM mode `dmb'
    > /tmp/ccBG89vh.s:3833: Error: selected processor does not support ARM mode `dmb'
    > /tmp/ccBG89vh.s:3994: Error: selected processor does not support ARM mode `dmb'
    > /tmp/ccBG89vh.s:4331: Error: selected processor does not support ARM mode `dmb'
    > /tmp/ccBG89vh.s:5292: Error: selected processor does not support ARM mode `dmb'
    > make[4]: *** [rculfhash.lo] Error 1

The public buildd that I can use to test this is unreachable at the
moment, but maybe a solution can be reached without further debug info?

The build machine is ARMv7, which supports dmb IIUC, so I'm a bit
puzzled on this one.

Any thoughts?

¹ https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=745891

-- 
Jon