33 lines
1.2 KiB
Plaintext
33 lines
1.2 KiB
Plaintext
$OpenBSD: patch-cocci_ml,v 1.3 2011/08/16 08:26:16 sthen Exp $
|
|
--- cocci.ml.orig Wed Aug 10 20:10:48 2011
|
|
+++ cocci.ml Thu Aug 11 15:49:26 2011
|
|
@@ -266,8 +266,8 @@ let show_or_not_diff2 cfile outfile =
|
|
|
|
let line =
|
|
match !Flag_parsing_c.diff_lines with
|
|
- | None -> "diff -u -p " ^ cfile ^ " " ^ outfile
|
|
- | Some n -> "diff -U "^n^" -p "^cfile^" "^outfile in
|
|
+ | None -> "gdiff -u -p " ^ cfile ^ " " ^ outfile
|
|
+ | Some n -> "gdiff -U "^n^" -p "^cfile^" "^outfile in
|
|
let res = Common.cmd_to_list line in
|
|
let res =
|
|
List.map
|
|
@@ -526,7 +526,7 @@ let worth_trying cfiles tokens =
|
|
| _ -> s
|
|
|
|
) in
|
|
- let com = sprintf "egrep -q '(%s)' %s" (join "|" tokens) (join " " cfiles)
|
|
+ let com = sprintf "gegrep -q '(%s)' %s" (join "|" tokens) (join " " cfiles)
|
|
in
|
|
(match Sys.command com with
|
|
| 0 (* success *) -> true
|
|
@@ -2032,7 +2032,7 @@ let check_duplicate_modif2 xs =
|
|
match res2 with
|
|
| None -> false
|
|
| Some res2 ->
|
|
- let diff = Common.cmd_to_list ("diff -u -b -B "^res^" "^res2)
|
|
+ let diff = Common.cmd_to_list ("gdiff -u -b -B "^res^" "^res2)
|
|
in
|
|
null diff
|
|
) xs) then begin
|