Release coccinelle-0.1.7

[bpt/coccinelle.git] / extra / kbuild.ml

diff --git a/extra/kbuild.ml b/extra/kbuild.ml
index 10c4736..56be8fe 100644 (file)
--- a/extra/kbuild.ml
+++ b/extra/kbuild.ml
@@ -124,7 +124,7 @@ let parse_makefile file =
     | s when s =~ "obj-\\$(CONFIG_.*)[ \t]*[\\+:]=\\(.*\\)" -> 
         let s = matched1 s in
         let objs = Common.split "[ \t]+" s in
-        assert(List.for_all (fun s -> thd3 (Common.dbe_of_filename s) = "o")
+        assert(List.for_all (fun s -> thd3 (Common.dbe_of_filename s) =$= "o")
                   objs);
         
         pr2 ("OBJS: " ^ (join "|" objs))