[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.11.1-1-10-gc1c2100

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 553f8f8cac4b26f9f5c45f3cb313bb3690bbb658
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Sep 22 16:54:18 2009 +0200

    Fix bashim in debian/jocamlmktop (Closes: #547748)

diff --git a/debian/changelog b/debian/changelog
index f12cdc0..11d89f5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
 jocaml (3.11.1-2) unstable; urgency=low
 
-  * Fix a typo in debian/jocamlmktop script and add a copyright notice.
+  * Fix bashim in debian/jocamlmktop and add a copyright notice
+    (Closes: #547748).
 
  -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Thu, 09 Jul 2009 19:09:54 +0200
 
diff --git a/debian/jocamlmktop b/debian/jocamlmktop
index f032a31..14997fd 100755
--- a/debian/jocamlmktop
+++ b/debian/jocamlmktop
@@ -8,9 +8,9 @@ set -e
 
 jocamlc -I /usr/lib/jocaml/jocamltoploop/ -linkall toplevellib.cma "$@" topstart.cmo
 
-if [[ $? -eq 0 ]] ; then
+if [ $? -eq 0 ] ; then
   TOP=`echo $@ | sed -n 's/.*-o \([^ ]*\).*/\1/gp'`
-  if [[ "$TOP" == "" ]] ; then
+  if [ "$TOP" = "" ] ; then
     TOP="a.out"
   fi
   if [ ! -f "$TOP" ] ; then

-- 
jocaml packaging