'make clean' rules remove more generated files.

[ocaml-bitstring.git] / cil-tools / Makefile.in

diff --git a/cil-tools/Makefile.in b/cil-tools/Makefile.in
index 74174db..ed41f8e 100644 (file)
--- a/cil-tools/Makefile.in
+++ b/cil-tools/Makefile.in
@@ -96,6 +96,7 @@ task_struct.bmpp: task_struct.c bitstring-import-c
 clean:
        rm -f core *~ *.cmi *.cmo *.cmx *.cma *.cmxa *.a *.o *.bmpp
        rm -f bitstring-import-c bitstring-import-c.opt
+       rm -f ext3 task_struct
 
 distclean: clean