Searched refs:diff (Results 1 – 7 of 7) sorted by relevance
87 if args.commit and args.diff:90 if args.diff and not re.match(r"^[\w\-\.\^]+\.\.[\w\-\.\^]+$", args.diff):94 if args.commit or args.diff:125 if args.sim and not args.commit and not args.diff:137 if args.commit or args.diff:146 elif args.diff:147 split = args.diff.split("..")197 commits = find_commits(symbol, args.diff)236 def find_commits(symbol, diff): argument240 symbol, diff])
250 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \254 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1257 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \
48 if ! diff -q ${source_file} ${source_file}.tmp; then
150 diff)
105 git diff-index --name-only HEAD
19 diff DTx_1 and DTx_223 --color synonym for -c (requires diff with --color support)25 -f print full dts in diff (--unified=99999)192 if diff --color /dev/null /dev/null 2>/dev/null ; then353 diff ${diff_flags} ${diff_color} --label "${dtx_file_1}" --label "${dtx_file_2}" \
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()