Opened 12 years ago

Closed 12 years ago

#16807 closed update (fixed)

splint-3.1.1 Update to 3.1.2

Reported by: boeyms@… Owned by: waqar@…
Priority: Normal Milestone:
Component: ports Version: 1.6.0
Keywords: Cc:
Port: splint

Description

The attached patch updates splint from 3.1.1 to 3.1.2, and adds a patch from the splint CVS repository to fix building on Darwin (see http://splint.cvs.sourceforge.net/viewvc/splint/splint/src/osd.c?view=log).

Attachments (1)

splint-3.1.1_to_3.1.2.diff (1.4 KB) - added by boeyms@… 12 years ago.
Patch to update splint-3.1.1 to 3.1.2, including CVS patch to fix build on Darwin

Download all attachments as: .zip

Change History (5)

Changed 12 years ago by boeyms@…

Attachment: splint-3.1.1_to_3.1.2.diff added

Patch to update splint-3.1.1 to 3.1.2, including CVS patch to fix build on Darwin

comment:1 Changed 12 years ago by jmroot (Joshua Root)

Port: splint added

comment:2 Changed 12 years ago by jmroot (Joshua Root)

Type: enhancementupdate

comment:3 Changed 12 years ago by (none)

Milestone: Port Updates

Milestone Port Updates deleted

comment:4 Changed 12 years ago by tobypeterson

Resolution: fixed
Status: newclosed

Looks like this was committed in r47236, ticket got overlooked

Note: See TracTickets for help on using tickets.