|
Notes |
|
|
(0010880)
|
|
Brad King
|
|
2008-03-21 19:23
|
|
|
I think this information is more appropriately added by your tool in a post-processing step. Out of curiosity, for what purpose do you need the information? |
|
|
|
(0010916)
|
|
Francesco Montorsi
|
|
2008-03-26 12:01
|
|
Adding it externally requires some additional effort and specifically it forces the users to "wrap" gccxml in a script which does that postprocessing.
BTW I need it to easily identify different XML files produced by different settings passed to gccxml...
This is a minor thing however. I just thought it was nice to have it... |
|
|
|
(0038329)
|
|
Brad King
|
|
2015-03-26 11:59
|
|
|