diff options
| author | Eliot Horowitz <eliot@10gen.com> | 2012-11-17 23:21:18 -0500 |
|---|---|---|
| committer | Eliot Horowitz <eliot@10gen.com> | 2012-11-19 11:52:30 -0500 |
| commit | 33782f2420ae347a92e22b53755e1f7eb46eb81d (patch) | |
| tree | 6062d5388a21e6d33bc3c70d26940b5350580a2a /buildscripts/lint.py | |
| parent | 9a516f7440bf40148ee3068a51a04ba3e28d8dea (diff) | |
| download | mongo-33782f2420ae347a92e22b53755e1f7eb46eb81d.tar.gz | |
fix --nudge option to lint
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) |