diff options
Diffstat (limited to 'buildscripts/lint.py')
| -rw-r--r-- | buildscripts/lint.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/buildscripts/lint.py b/buildscripts/lint.py index 213ec36cd1b..4ee4f2a626e 100644 --- a/buildscripts/lint.py +++ b/buildscripts/lint.py @@ -94,6 +94,7 @@ if __name__ == "__main__": arg = arg[2:] if arg == "nudge": nudge = True + continue else: print( "unknown arg [%s]" % arg ) sys.exit(-1) |