diff options
| author | Matteo Maria Fusi <[email protected]> | 2018-09-20 10:59:35 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-09-20 10:59:35 +0200 |
| commit | 52e742bc355f202f965177113b382c0fb7243f61 (patch) | |
| tree | abdd183d18f9f4014b9a05f18431f7b285f32371 /libcuda | |
| parent | 3ed4c7d70a8ce94eb6b5bbccdac15b35c76f54e0 (diff) | |
libcuda: removed comment from cuobjdump.l
This comment made the build fail in ubuntu 18.04 due to a flex error. This error is probably produced by a flex bug.
Diffstat (limited to 'libcuda')
| -rw-r--r-- | libcuda/cuobjdump.l | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/libcuda/cuobjdump.l b/libcuda/cuobjdump.l index 0953ea1..2b0dac8 100644 --- a/libcuda/cuobjdump.l +++ b/libcuda/cuobjdump.l @@ -143,7 +143,6 @@ newlines {newline}+ /* Looking for the identifier (filename) then the header is done */ - /* <endheader>[[:alnum:]_\./]+ yylval.string_value = strdup(yytext); yy_pop_state(); return FILENAME; */ <endheader>{notnewline}+ yylval.string_value = strdup(yytext); yy_pop_state(); return IDENTIFIER; |