I recently reported a CIL bug regarding missing support for some new "__atomic_*" GCC builtins: <https://sourceforge.net/p/cil/bugs/149/>. I fixed that bug later the same day, as I do still have commit rights for the CIL repository. However, it seems I do not have the power to close bug reports. Gabriel, would you please close <https://sourceforge.net/p/cil/bugs/149/> to reflect my committed fix?
Please consider making a new CIL 1.7.4 release with this fix as well. Without the fix, I am unable to use CIL to build instrumented versions of recent GNOME software, which is something that's fairly important to me. I'd especially like to be able to do that under Fedora 21, which is now in beta. If we can do a new CIL release with this fix, I'm hoping that I can then ping the Fedora CIL package maintainer to pick that up in time for Fedora 21. Thanks, Ben ------------------------------------------------------------------------------ Comprehensive Server Monitoring with Site24x7. Monitor 10 servers for $9/Month. Get alerted through email, SMS, voice calls or mobile push notifications. Take corrective actions from your mobile device. http://pubads.g.doubleclick.net/gampad/clk?id=154624111&iu=/4140/ostg.clktrk _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
