updated argc before calling MPI_Init in case argc and argv do not agree.
authorGengbin Zheng <gzheng@illinois.edu>
Fri, 3 Aug 2012 20:24:43 +0000 (15:24 -0500)
committerGengbin Zheng <gzheng@illinois.edu>
Fri, 3 Aug 2012 20:24:43 +0000 (15:24 -0500)
commitd5e8a81e0acb2f3e1f6b32a3f9a2af15989b7559
treefd7eaf26af697d5c59140887b62ffef922d5db2c
parenta937d08d6b71d25a9275e2150d0d66c0f3487813
updated argc before calling MPI_Init in case argc and argv do not agree.
src/arch/mpi/machine.c