[MLton-commit] r7276

Wesley Terpstra wesley at mlton.org
Thu Oct 15 12:59:17 PDT 2009


Close a bashism bug


----------------------------------------------------------------------

U   mlton/trunk/lib/smlnj-lib/smlnj-lib.patch
U   mlton/trunk/package/debian/changelog

----------------------------------------------------------------------

Modified: mlton/trunk/lib/smlnj-lib/smlnj-lib.patch
===================================================================
--- mlton/trunk/lib/smlnj-lib/smlnj-lib.patch	2009-10-15 19:40:16 UTC (rev 7275)
+++ mlton/trunk/lib/smlnj-lib/smlnj-lib.patch	2009-10-15 19:59:16 UTC (rev 7276)
@@ -12552,3 +12552,15 @@
 +    Util/time-limit.mlb
 + in
 + end
+diff -N -C 2 -r smlnj-lib/Doc/config.sh smlnj-lib-mlton/Doc/config.sh
+*** smlnj-lib/Doc/config.sh	2007-05-10 23:39:48.000000000 +0200
+--- smlnj-lib-mlton/Doc/config.sh	2009-10-15 21:54:08.000000000 +0200
+***************
+*** 1,3 ****
+! #!/bin/sh
+  #
+  # This script creates the Makefile for building the documentation.  You
+--- 1,3 ----
+! #! /bin/bash
+  #
+  # This script creates the Makefile for building the documentation.  You

Modified: mlton/trunk/package/debian/changelog
===================================================================
--- mlton/trunk/package/debian/changelog	2009-10-15 19:40:16 UTC (rev 7275)
+++ mlton/trunk/package/debian/changelog	2009-10-15 19:59:16 UTC (rev 7276)
@@ -4,6 +4,7 @@
   * Added mips and mipsel architectures (bootstrap already uploaded)
   * Switch to debian native version numbers
   * Base the MLton version on the changelog
+  * Mark the smlnj script as bash-specific (closes: #530142)
 
  -- Wesley W. Terpstra (Debian) <terpstra at debian.org>  Thu, 15 Oct 2009 21:09:17 +0200
 




More information about the MLton-commit mailing list