diff options
author | Ed Warnicke <eaw@cisco.com> | 2016-08-05 11:43:58 -0700 |
---|---|---|
committer | Ed Warnicke <eaw@cisco.com> | 2016-08-12 13:56:29 -0700 |
commit | be053b87cf321c34d780e9c79ad455513fb98395 (patch) | |
tree | 79c70c65e97db4a948abf33b7b40a0f51cb090eb /.gitignore | |
parent | 853e720fdd74b1ffb1168c1503cd97eb5b7f8b60 (diff) |
VPP-237: Checkstyle script to check for new checkstyle breakage
indent is... cantankerous
It sometimes happens that if you run
indent A
resulting in A'
and then
indent A'
you get back A. Since the check here is premised on being able
to run indent and not see any changed... we have to run it twice
to be sure.
Change-Id: I5b73e02f5996d8a01ec2e46741affbc6d62da6c9
Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index b5673ae07e2..250532aa97b 100644 --- a/.gitignore +++ b/.gitignore @@ -66,3 +66,6 @@ GTAGS # Generated documentation /build-root/docs + +# indent backup files +*.BAK |