[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-51-gf39c6fd

[Ralf Treinen]

The following commit has been merged in the master branch:
commit f39c6fddda6c5b66648dc4e49f41038eb1c3cc13
Author: Ralf Treinen <treinen at free.fr>
Date:   Fri Nov 5 19:59:26 2010 +0100

    force bash

diff --git a/debian/rules b/debian/rules
index 32b4321..ecea418 100755
--- a/debian/rules
+++ b/debian/rules
@@ -1,4 +1,5 @@
 #!/usr/bin/make -f
+SHELL=/bin/bash
 
 SRCV := $(shell dpkg-parsechangelog | sed -n '/^Version:/{s|Version: *||p;q}')
 

-- 
dose3 packaging