$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
