diff options
Diffstat (limited to 'cuobjdump_to_ptxplus/header.l')
| -rw-r--r-- | cuobjdump_to_ptxplus/header.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cuobjdump_to_ptxplus/header.l b/cuobjdump_to_ptxplus/header.l index 170ecf7..83cede7 100644 --- a/cuobjdump_to_ptxplus/header.l +++ b/cuobjdump_to_ptxplus/header.l @@ -30,6 +30,7 @@ %option noyywrap %option yylineno %option prefix="header_" +%option nounput %{ #include <iostream> #include "header_parser.hh" |