+1 I think we should do this independent of the “indent wars”
Thanks, Florin > On Oct 22, 2019, at 10:09 AM, Damjan Marion via Lists.Fd.Io > <dmarion=me....@lists.fd.io> wrote: > > > Folks, > > Now we have 2nd release of ubuntu out which comes with new GNU indent which > introduces lot of bug fixes. > Unfortunately our repo is full of products of bugs which are fixed, so it > results in big mess when new indent is used. > > Most of the time, it is about space after __attribute__ where one version > thinks it should be, and another version thinks it should not. > > Up to the point where we come up with some solution, I would like to propose > following change as workaround: > > https://gerrit.fd.io/r/c/vpp/+/22937 <https://gerrit.fd.io/r/c/vpp/+/22937> > > Thoughts? > > — > Damjan > -=-=-=-=-=-=-=-=-=-=-=- > Links: You receive all messages sent to this group. > > View/Reply Online (#14272): https://lists.fd.io/g/vpp-dev/message/14272 > Mute This Topic: https://lists.fd.io/mt/36446352/675152 > Group Owner: vpp-dev+ow...@lists.fd.io > Unsubscribe: https://lists.fd.io/g/vpp-dev/unsub [fcoras.li...@gmail.com] > -=-=-=-=-=-=-=-=-=-=-=-
-=-=-=-=-=-=-=-=-=-=-=- Links: You receive all messages sent to this group. View/Reply Online (#14277): https://lists.fd.io/g/vpp-dev/message/14277 Mute This Topic: https://lists.fd.io/mt/36446352/21656 Group Owner: vpp-dev+ow...@lists.fd.io Unsubscribe: https://lists.fd.io/g/vpp-dev/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-