diff --git a/opal/mca/base/mca_base_parse_paramfile_lex.l b/opal/mca/base/mca_base_parse_paramfile_lex.l index 96e593018e..9ffe9f4117 100644 --- a/opal/mca/base/mca_base_parse_paramfile_lex.l +++ b/opal/mca/base/mca_base_parse_paramfile_lex.l @@ -51,6 +51,37 @@ CHAR [A-Za-z0-9_\-\.] {WHITE}*\n { mca_base_yynewlines++; return MCA_BASE_PARSE_NEWLINE; } #.*\n { mca_base_yynewlines++; return MCA_BASE_PARSE_NEWLINE; } +"//".*\n { mca_base_yynewlines++; return MCA_BASE_PARSE_NEWLINE; } +"/*" { + register int c; + for ( ; ; ) { + /* Eat up characters till we hit the + * end of file or * + */ + while ( (c = input()) != '*' && c != EOF){ + if(c == '\n') + mca_base_yynewlines++; + } + + /* If we reach a *, then look for the + * matching / + */ + if ( c == '*') { + while ( (c = input()) == '*' ) { + if(c == '\n') + mca_base_yynewlines++; + } + + if ( c == '/' ) + break; /* End of Comment */ + } + else if ( c == EOF ) { + /* EOF in comment :( */ + break; + } + } + return MCA_BASE_PARSE_NEWLINE; + } {WHITE}*"="{WHITE}* { BEGIN(VALUE); return MCA_BASE_PARSE_EQUAL; } {WHITE}+ ; /* whitespace */ diff --git a/orte/mca/rds/hostfile/rds_hostfile_lex.l b/orte/mca/rds/hostfile/rds_hostfile_lex.l index 7d377df9e8..eaaccc89fa 100644 --- a/orte/mca/rds/hostfile/rds_hostfile_lex.l +++ b/orte/mca/rds/hostfile/rds_hostfile_lex.l @@ -45,6 +45,38 @@ WHITE [\f\t\v ] return ORTE_RDS_HOSTFILE_NEWLINE; } #.*\n { orte_rds_hostfile_line++; return ORTE_RDS_HOSTFILE_NEWLINE; } +"//".*\n { orte_rds_hostfile_line++; + return ORTE_RDS_HOSTFILE_NEWLINE; } +"/*" { + register int c; + for ( ; ; ) { + /* Eat up characters till we hit the + * end of file or * + */ + while ( (c = input()) != '*' && c != EOF){ + if(c == '\n') + orte_rds_hostfile_line++; + } + + /* If we reach a *, then look for the + * matching / + */ + if ( c == '*') { + while ( (c = input()) == '*' ) { + if(c == '\n') + orte_rds_hostfile_line++; + } + + if ( c == '/' ) + break; /* End of Comment */ + } + else if ( c == EOF ) { + /* EOF in comment :( */ + break; + } + } + return ORTE_RDS_HOSTFILE_NEWLINE; + } \"[^\"]*\" { orte_rds_hostfile_value.sval = yytext; return ORTE_RDS_HOSTFILE_QUOTED_STRING; }