Extra file in snapshots from HEAD branch
|Reported by:||kristerw||Owned by:|
|Type of failure:||Difficulty:||Unknown|
|Test Case:||Blocked By:|
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...