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: Samuel Thibault (samuel.thibault_at_[hidden])
Date: 2010-01-08 12:22:03

Jeff Squyres, le Fri 08 Jan 2010 12:11:29 -0500, a écrit :
> How do you guys want to handle params that are *sometimes* unused?

I'd just mark them unused.