diff options
Diffstat (limited to 'libcuda/cuobjdump.l')
| -rw-r--r-- | libcuda/cuobjdump.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libcuda/cuobjdump.l b/libcuda/cuobjdump.l index d264338..d7086ad 100644 --- a/libcuda/cuobjdump.l +++ b/libcuda/cuobjdump.l @@ -103,6 +103,7 @@ newlines {newline}+ <header>"producer = " return H_PRODUCER; <header>"host = " return H_HOST; <header>"compile_size = " return H_COMPILESIZE; +<header>"compressed"{newline} <header>"identifier = " BEGIN(endheader); return H_IDENTIFIER; <header>"has debug info"{newline} |