avoid calling PCQueueEmpty() since the value can be off.
authorGengbin Zheng <gzheng@illinois.edu>
Sun, 14 Oct 2007 06:48:51 +0000 (06:48 +0000)
committerGengbin Zheng <gzheng@illinois.edu>
Sun, 14 Oct 2007 06:48:51 +0000 (06:48 +0000)
commitff663b0f77a20931d322793f2805c15813e41365
tree61e72964f5fac1e2940453aded8858dbd476f6bf
parent7ba884c9d9fe8e24ebf1fc26a87a914ab2cf9e16
avoid calling PCQueueEmpty() since the value can be off.
src/arch/mpi/machine.c