Ubuntu
cbmc package

Branches for Saucy

Name Status Last Modified Last Commit
lp:ubuntu/saucy/cbmc 2 Mature 2013-04-26 23:09:34 UTC
16. Fix preprocessing on armhf by passing...

Author: Adam Conrad
Revision Date: 2012-11-07 21:15:17 UTC

Fix preprocessing on armhf by passing through the __ARM_PCS_VFP define.
1 → 1 of 1 result First • Previous • Next • Last