diff options
| author | Valentin Rothberg | 2016-10-27 14:34:57 +0200 |
|---|---|---|
| committer | Greg Kroah-Hartman | 2016-10-28 08:12:14 -0400 |
| commit | 0d18c19288601b66ad2852cceb66ae68972243dc (patch) | |
| tree | 803e2811f9b42dcad345618f66da5d5ab8c80cc5 | |
| parent | 07d9a380680d1c0eb51ef87ff2eab5c994949e69 (diff) | |
checkkconfigsymbols.py: support git's "^" syntax
Support git's "^" syntax for diffing two commits, for instance via
"--diff HEAD^^^..HEAD".
Signed-off-by: Michael Ellermann <mpe@ellerman.id.au>
Signed-off-by: Valentin Rothberg <valentinrothberg@gmail.com>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
| -rwxr-xr-x | scripts/checkkconfigsymbols.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/checkkconfigsymbols.py b/scripts/checkkconfigsymbols.py index a32e4da4c117..3820f00b066a 100755 --- a/scripts/checkkconfigsymbols.py +++ b/scripts/checkkconfigsymbols.py @@ -88,7 +88,7 @@ def parse_options(): if args.commit and args.diff: sys.exit("Please specify only one option at once.") - if args.diff and not re.match(r"^[\w\-\.]+\.\.[\w\-\.]+$", args.diff): + if args.diff and not re.match(r"^[\w\-\.\^]+\.\.[\w\-\.\^]+$", args.diff): sys.exit("Please specify valid input in the following format: " "\'commit1..commit2\'") |