Searched refs:diff (Results 1 – 5 of 5) sorted by relevance
88 if args.commit and args.diff:91 if args.diff and not re.match(r"^[\w\-\.\^]+\.\.[\w\-\.\^]+$", args.diff):95 if args.commit or args.diff:123 if args.sim and not args.commit and not args.diff:135 if args.commit or args.diff:144 elif args.diff:145 split = args.diff.split("..")195 commits = find_commits(symbol, args.diff)234 def find_commits(symbol, diff): argument238 symbol, diff])
237 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \241 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1244 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \
150 diff)
84 git diff-index --name-only HEAD
21 diff DTx_1 and DTx_224 -f print full dts in diff (--unified=99999)337 diff ${diff_flags} --label "${dtx_file_1}" --label "${dtx_file_2}" \