Open MPI logo

Hardware Locality Development Mailing List Archives

  |   Home   |   Support   |   FAQ   |   all Hardware Locality Development mailing list

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]