checkkconfigsymbols.py: support git's "^" syntax

Support git's "^" syntax for diffing two commits, for instance via "--diff HEAD^^^..HEAD".

Valentin Rothberg committed 10 years ago

Commit 0d18c191 parent 07d9a381 file · +1 −1Browse files

Showing the changes to scripts (1 of 1 file). Show all

Unified · Split

@@ -88,7 +88,7 @@ def parse_options(): · 87 unmodified lines
88	if args.commit and args.diff:	88	if args.commit and args.diff:
89	sys.exit("Please specify only one option at once.")	89	sys.exit("Please specify only one option at once.")
90		90
91	if args.diff and not re.match(r"^[\w\-\.]+\.\.[\w\-\.]+$", args.diff):	91	if args.diff and not re.match(r"^[\w\-\.\^]+\.\.[\w\-\.\^]+$", args.diff):
92	sys.exit("Please specify valid input in the following format: "	92	sys.exit("Please specify valid input in the following format: "
93	"\'commit1..commit2\'")	93	"\'commit1..commit2\'")
94		94