Searched refs:diff (Results 1 – 7 of 7) 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])
231 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \235 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1238 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \
150 diff)
46 if ! diff -q ${source_file} ${source_file}.tmp; then
84 git diff-index --name-only HEAD
73 int diff = initial_pathlen - slashes, i, j; in shorten_to_initial_path() local77 res = xmalloc((3 * diff) + restlen + 1); in shorten_to_initial_path()78 for (i = 0, j = 0; i != diff; i++) { in shorten_to_initial_path()
19 diff DTx_1 and DTx_223 -f print full dts in diff (--unified=99999)346 diff ${diff_flags} --label "${dtx_file_1}" --label "${dtx_file_2}" \