Opened 8 years ago

Closed 8 years ago

#3411 closed bug (fixed)

Extra file in snapshots from HEAD branch

Reported by: kristerw Owned by:
Priority: normal Milestone:
Component: None Version: 6.11
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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...

Change History (1)

comment:1 Changed 8 years ago by igloo

difficulty: Unknown
Resolution: fixed
Status: newclosed

Thanks for the report. Fixed by

Sun Aug  2 20:57:59 BST 2009  Ian Lynagh <>
  * Clean GMP properly; fixes #3411
Note: See TracTickets for help on using tickets.