[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. debian/1.01-1-7-gcfe1a56

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 7ff88d45b3c087362f76f641c63f13ef9e69c8b0
Author: Ralf Treinen <treinen at free.fr>
Date:   Sat Jan 21 22:13:55 2012 +0100

    also clean bytecode viewer

diff --git a/debian/patches/make_clean b/debian/patches/make_clean
index f84d8d3..3f3d224 100644
--- a/debian/patches/make_clean
+++ b/debian/patches/make_clean
@@ -3,11 +3,14 @@ Description: remove all generated files in clean target
 
 Index: coinst/viewer/Makefile
 ===================================================================
---- coinst.orig/viewer/Makefile	2012-01-18 08:10:25.000000000 +0100
-+++ coinst/viewer/Makefile	2012-01-21 21:45:59.000000000 +0100
-@@ -40,6 +40,7 @@
+--- coinst.orig/viewer/Makefile	2012-01-21 21:46:44.000000000 +0100
++++ coinst/viewer/Makefile	2012-01-21 22:05:05.000000000 +0100
+@@ -38,8 +38,9 @@
+ 	rm -f dot_parser.ml dot_parser.mli dot_lexer.ml
+ 
  clean::
- 	rm -f coinst_converter coinst_viewer
+-	rm -f coinst_converter coinst_viewer
++	rm -f coinst_converter coinst_viewer coinst_viewer.byte
  	rm -f jsviewer.js jsviewer.byte
 +	rm -f dot_lexer.ml dot_parser.ml
  
@@ -15,8 +18,8 @@ Index: coinst/viewer/Makefile
  
 Index: coinst/Makefile
 ===================================================================
---- coinst.orig/Makefile	2012-01-18 08:10:25.000000000 +0100
-+++ coinst/Makefile	2012-01-21 21:46:36.000000000 +0100
+--- coinst.orig/Makefile	2012-01-21 21:46:44.000000000 +0100
++++ coinst/Makefile	2012-01-21 22:01:30.000000000 +0100
 @@ -19,7 +19,7 @@
  	$(OCAMLC) -o $@  $(OPTLINKFLAGS) $^ $(LINKFLAGS)
  

-- 
coinst packaging