Subject: Re: [hwloc-devel] sometimes unused params From: Jeff Squyres (jsquyres_at_[hidden]) Date: 2010-01-08 12:22:59
On Jan 8, 2010, at 12:22 PM, Samuel Thibault wrote:
>> How do you guys want to handle params that are *sometimes* unused? > > I'd just mark them unused.
Is it harmful to mark them unused when they're actually used?
-- Jeff Squyres jsquyres_at_[hidden]
![[Flag]](../../../../../community/mirrors/flag-us.gif){kind=small}