Opened 16 years ago

Closed 15 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@… 16 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 16 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 16 years ago by jmroot (Joshua Root)

Port: splint added

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

Type: enhancement → update

comment:3 Changed 16 years ago by (none)

Milestone: Port Updates

Milestone Port Updates deleted

comment:4 Changed 15 years ago by tobypeterson

Resolution: → fixed
Status: new → closed

Looks like this was committed in r47236, ticket got overlooked

Note: See TracTickets for help on using tickets.