Tweak error message

This commit is contained in:
Eelco Dolstra 2016-12-06 17:18:40 +01:00
parent 09191caea8
commit 603f08506e
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE

View file

@ -183,12 +183,12 @@ or { return OR_KW; }
<INITIAL,INSIDE_DOLLAR_CURLY>{ <INITIAL,INSIDE_DOLLAR_CURLY>{
{PATH} { if (yytext[yyleng-1] == '/') {PATH} { if (yytext[yyleng-1] == '/')
throw ParseError(format("Invalid path '%1%'; trailing slashes are not allowed in paths") % yytext); throw ParseError("path %s has a trailing slash", yytext);
yylval->path = strdup(yytext); yylval->path = strdup(yytext);
return PATH; return PATH;
} }
{HPATH} { if (yytext[yyleng-1] == '/') {HPATH} { if (yytext[yyleng-1] == '/')
throw ParseError(format("Invalid path '%1%'; trailing slashes are not allowed in paths") % yytext); throw ParseError("path %s has a trailing slash", yytext);
yylval->path = strdup(yytext); yylval->path = strdup(yytext);
return HPATH; return HPATH;
} }