https://bugzilla.redhat.com/show_bug.cgi?id=1850262
dan.cermak(a)cgc-instruments.com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dan.cermak@cgc-instruments.
| |com
Doc Type|--- |If docs needed, set a value
--- Comment #1 from dan.cermak(a)cgc-instruments.com ---
Unfortunately it currently fails to build:
make[1]: Leaving directory '/builddir/build/BUILD/kissat-sc2020/build'
cc1: fatal error: inaccessible plugin file plugin/annobin.so expanded from
short plugin name annobin: No such file or directory compilation terminated.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component