You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In this repo, they can be put in a Makefile variable named indent_args to override the setting in maint.mk (which is vendored in from gnulib). I need to find the proper place to do this, and handle fallout from places where reindenting with these args screws things up...
The text was updated successfully, but these errors were encountered:
I disagree with the standard GNU indentation style. In my fork of gdb, I use the following args to
indent
in an indentation script:In this repo, they can be put in a Makefile variable named
indent_args
to override the setting inmaint.mk
(which is vendored in from gnulib). I need to find the proper place to do this, and handle fallout from places where reindenting with these args screws things up...The text was updated successfully, but these errors were encountered: