[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-27-g284e68a

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 284e68ace18db77fed501d3d64ff3cb54d44c02c
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jul 28 17:10:05 2008 +0200

    Create bin/ in configure instead of clean
    
    ...avoiding problems with clean run as root

diff --git a/debian/rules b/debian/rules
index 5151c91..177270d 100755
--- a/debian/rules
+++ b/debian/rules
@@ -20,6 +20,8 @@ CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man --emacslib /
 configure: configure-stamp
 configure-stamp:
 	dh_testdir
+	# git doesn't handle empty directories, so we create them here
+	-mkdir bin
 	if [ -e /usr/bin/ocamlc.opt ]; \
 	then \
 		./configure -opt $(CONFIGUREOPTS); \
@@ -67,8 +69,6 @@ clean: unpatch
 	rm -f dev/ocamldebug-v7
 	rm -f ide/undo.mli glob.dump
 	rm -f test-suite/modules/*.vo
-	# git doesn't handle empty directories, so we create them here
-	-mkdir bin
 
 	dh_clean
 

-- 
coq packaging