diff --git a/orte/mca/rmaps/rank_file/rankfile_lex.l b/orte/mca/rmaps/rank_file/rankfile_lex.l index 79b2b93c40..bd62570fac 100644 --- a/orte/mca/rmaps/rank_file/rankfile_lex.l +++ b/orte/mca/rmaps/rank_file/rankfile_lex.l @@ -51,6 +51,7 @@ int rank_file_wrap(void) */ int rank_file_line=1; rank_file_value_t rank_file_value; +bool rank_file_done = false; %}