diff --git a/orte/mca/rds/hostfile/rds_hostfile_lex.l b/orte/mca/rds/hostfile/rds_hostfile_lex.l index 4622dd72ab..7d377df9e8 100644 --- a/orte/mca/rds/hostfile/rds_hostfile_lex.l +++ b/orte/mca/rds/hostfile/rds_hostfile_lex.l @@ -37,15 +37,19 @@ bool orte_rds_hostfile_done = false; %} +WHITE [\f\t\v ] + %% -\n { orte_rds_hostfile_line++; +{WHITE}*\n { orte_rds_hostfile_line++; + return ORTE_RDS_HOSTFILE_NEWLINE; } +#.*\n { orte_rds_hostfile_line++; return ORTE_RDS_HOSTFILE_NEWLINE; } \"[^\"]*\" { orte_rds_hostfile_value.sval = yytext; return ORTE_RDS_HOSTFILE_QUOTED_STRING; } -[\f\t\v ] ; /* whitespace */ +{WHITE}+ ; /* whitespace */ "=" { return ORTE_RDS_HOSTFILE_EQUAL; }