orte_info_ver_major   54 orte/tools/orte-info/orte-info.h extern const char *orte_info_ver_major;
orte_info_ver_major   42 orte/tools/orte-info/version.c const char *orte_info_ver_major = "major";
orte_info_ver_major  343 orte/tools/orte-info/version.c     } else if (0 == strcmp(scope, orte_info_ver_major)) {