File tree Expand file tree Collapse file tree 1 file changed +2
-3
lines changed
Expand file tree Collapse file tree 1 file changed +2
-3
lines changed Original file line number Diff line number Diff line change @@ -225,7 +225,6 @@ int boot_pmi (struct overlay *overlay, attr_t *attrs)
225225 int child_count ;
226226 int * child_ranks = NULL ;
227227 const char * uri ;
228- int i ;
229228 int upmi_flags = UPMI_LIBPMI_NOFLUX ;
230229 const char * upmi_method ;
231230 const char * s ;
@@ -406,7 +405,7 @@ int boot_pmi (struct overlay *overlay, attr_t *attrs)
406405
407406 /* Fetch the business card of children and inform overlay of public keys.
408407 */
409- for (i = 0 ; i < child_count ; i ++ ) {
408+ for (int i = 0 ; i < child_count ; i ++ ) {
410409 const char * peer_pubkey ;
411410 int child_rank = child_ranks [i ];
412411
@@ -441,7 +440,7 @@ int boot_pmi (struct overlay *overlay, attr_t *attrs)
441440 /* Fetch the business card of all ranks and build hostlist.
442441 * The hostlist is built independently (and in parallel) on all ranks.
443442 */
444- for (i = 0 ; i < info .size ; i ++ ) {
443+ for (int i = 0 ; i < info .size ; i ++ ) {
445444 const char * peer_hostname ;
446445
447446 if (snprintf (key , sizeof (key ), "%d" , i ) >= sizeof (key )) {
You can’t perform that action at this time.
0 commit comments