diff options
author | tgingold <tgingold@users.noreply.github.com> | 2017-05-06 08:57:50 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-06 08:57:50 +0200 |
commit | f250fb5c371ad8e286f4fe7c442ea7e7866f12a0 (patch) | |
tree | ad89c6a28c4d83b02f6839394e16672b9bfab1aa /src/grt/ghwlib.h | |
parent | 3031cd34237dd168a942c259d0fe0c26a5f5c87c (diff) | |
parent | 9d0c671751748ddafca1994e643bb1944c69f863 (diff) | |
download | ghdl-f250fb5c371ad8e286f4fe7c442ea7e7866f12a0.tar.gz ghdl-f250fb5c371ad8e286f4fe7c442ea7e7866f12a0.tar.bz2 ghdl-f250fb5c371ad8e286f4fe7c442ea7e7866f12a0.zip |
Merge pull request #338 from emogenet/master
Add -H to ghwdump to dump full pathnames of signals
Diffstat (limited to 'src/grt/ghwlib.h')
-rw-r--r-- | src/grt/ghwlib.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grt/ghwlib.h b/src/grt/ghwlib.h index 11917542a..6f65d6ba8 100644 --- a/src/grt/ghwlib.h +++ b/src/grt/ghwlib.h @@ -333,6 +333,7 @@ struct ghw_handler /* Non-composite (or basic) signals. */ int nbr_sigs; char *skip_sigs; + int flag_full_names; struct ghw_sig *sigs; /* Hierarchy. */ |