Can't get indent to leave comments alone

View: New views
1 Messages — Rating Filter:   Alert me  

Can't get indent to leave comments alone

by "Peter H. Fröhlich" :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Hi all,

Running GNU indent 2.2.9 on OS X 10.4 through fink. Given the --dont-
format-comments option in .indent.pro it still turns

size_t strlcat(/*@in@*/ /*@out@*/ char *dst, const char *src, size_t  
siz);

into

size_t strlcat( /*@in@ *//*@out@ */ char *dst, const char *src,  
size_t siz);

instead. Needless to say, while splint isn't troubled by this, my  
sense of beauty is. :-) If there's any way to *really* not touch  
comments in 2.2.9, I'd love to hear about it.

Cheers,
Peter

PS: Note that I am not on the mailing list, please cc me if there's a  
solution with 2.2.9 or if there is a newer version that doesn't have  
this problem anymore.


_______________________________________________
bug-indent mailing list
bug-indent@...
http://lists.gnu.org/mailman/listinfo/bug-indent