open-mpi/ompi-release — pull request #23 by rhc54 (2014-10-13 17:12:28+00:00)
Title: tools: fix cli args parsing

No need to "shift" if argument does not expect parameter on the command line.
(cherry picked from commit master@6372ac926c6a6622222915ac4f9301021f731c35)

Reviewed by Jeff, RM-approved