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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 9d1de44dcf97fae0a476e39ca7735c9e89bc7d7f
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu Jul 9 19:10:29 2009 +0200

    Fix a typo in debian/jocamlmktop script and add a copyright notice.

diff --git a/debian/changelog b/debian/changelog
index 0069d7b..f12cdc0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+jocaml (3.11.1-2) unstable; urgency=low
+
+  * Fix a typo in debian/jocamlmktop script and add a copyright notice.
+
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Thu, 09 Jul 2009 19:09:54 +0200
+
 jocaml (3.11.1-1) unstable; urgency=low
 
   * New Upstream Version
diff --git a/debian/jocamlmktop b/debian/jocamlmktop
index 3723ae9..753e5b3 100755
--- a/debian/jocamlmktop
+++ b/debian/jocamlmktop
@@ -1,5 +1,9 @@
 #!/bin/sh
 
+# Copyright (C) 2009 Mehdi Dogguy <dogguy at pps.jussieu.fr>
+# You have permission to copy, modify, and redistribute under the
+# terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
+
 set -e
 
 jocamlc -linkall toplevellib.cma "$@" topstart.cmo
@@ -9,10 +13,7 @@ if [[ $? -eq 0 ]] ; then
   if [[ "$TOP" == "" ]] ; then
     TOP="a.out"
   fi
-  if [ ! -f "a.out" ] ; then
-    echo "$0: -o option should have an argument"
-    exit 1
-  else if [ ! -f "$TOP" ] ; then
+  if [ ! -f "$TOP" ] ; then
     echo "$0: The generated toplevel doesn't exist"
     exit 1
   else
@@ -21,5 +22,4 @@ if [[ $? -eq 0 ]] ; then
     /usr/lib/jocaml/expunge $TMP $TOP -v Parsetree Env Types
     rm -f $TMP
   fi
-  fi
 fi

-- 
jocaml packaging