[SailfishDevel] [OBS] What should I do if rpmlint just crashes?

[Marcin Mielniczuk]

Hi,

While trying to build newer boost on the OBS, I encountered the
following problem:

[ 1672s] RPMLINT report:
[ 1672s] ===============
[ 1742s] Traceback (most recent call last):
[ 1742s]   File "rpmlint.py", line 371, in <module>
[ 1742s]   File "rpmlint.py", line 160, in main
[ 1742s]   File "rpmlint.py", line 217, in runChecks
[ 1742s]   File "DuplicatesCheck.py", line 63, in check
[ 1742s] OSError: [Errno 2] No such file or directory:
'/tmp/rpmlint.boost-devel-1.60.0+obs.20180113135825.ee8eee4-10.10.1.jolla.armv7hl.rpm.995lQw//usr/include/boost/mpl/aux_/preprocessed/bcc_pre590/placeholders.hpp'
[ 1742s] 22 packages and 0 specfiles checked; 0 errors, 45 warnings.

which makes the whole build fail.

What should I do with it? A search yields almost nothing (the only
result doesn't seem related)

I'm using a _service to fetch the sources:
https://build.merproject.org/package/view_file/home:marmistrz:swiften/boost-opt/_service?expand=1
(for future readers: revision 10)

Regards,
Marcin