diff options
| author | Timothy G Rogers <[email protected]> | 2018-11-01 17:14:09 -0400 |
|---|---|---|
| committer | GitHub Enterprise <[email protected]> | 2018-11-01 17:14:09 -0400 |
| commit | 68fb9df6d85479cdbae25a185a81d7ec723b3ac2 (patch) | |
| tree | 68f4048e0f1bf390312184fe21083a8501e0a255 /libcuda/cuobjdump.l | |
| parent | 1be6f76f5d57bd5dda6f0ca4dae3824f0e55eff9 (diff) | |
| parent | f06a527258b4a6634f8f148536bb86635b058d55 (diff) | |
Merge pull request #30 from abdallm/dev
Dev
Diffstat (limited to 'libcuda/cuobjdump.l')
| -rw-r--r-- | libcuda/cuobjdump.l | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/libcuda/cuobjdump.l b/libcuda/cuobjdump.l index f63ee73..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; @@ -159,8 +158,6 @@ newlines {newline}+ %% void cuobjdump_error(const char* message) { - printf(" "); printf(message); printf(" near \""); printf(yytext); printf("\""); - printf(" on line "); - char line[5]; sprintf(line, "%i", yylineno); printf(line); - printf("\n"); + printf(" %s near \"%s\"",message, yytext); + printf(" on line %i\n",yylineno); } |