Extra file in snapshots from HEAD branch
|Reported by:||kristerw||Owned by:|
|Type of failure:||Test Case:|
|Related Tickets:||Differential Revisions:|
There seems to be a some problem with the script that builds the HEAD branch snapshots; libraries/integer-gmp/gmp contains obj-files etc. from as Linux build, and libraries/integer-gmp/cbits contains a Linux binary mkGmpDerivedConstants.
This cause problems when building on non-Linux platforms...