[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