[MLton-commit] r4810

Matthew Fluet fluet at mlton.org
Mon Nov 6 17:53:19 PST 2006


Add uniquifying suffix for make-pdf-guide temp directory; prevent errors with parallel executions of 'make docs'
----------------------------------------------------------------------

U   mlton/trunk/bin/make-pdf-guide

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

Modified: mlton/trunk/bin/make-pdf-guide
===================================================================
--- mlton/trunk/bin/make-pdf-guide	2006-11-07 01:40:08 UTC (rev 4809)
+++ mlton/trunk/bin/make-pdf-guide	2006-11-07 01:53:06 UTC (rev 4810)
@@ -29,7 +29,7 @@
 pdf='mlton-guide.pdf'
 script='.script'
 titlepage='title.html'
-tmp='/tmp/mlton-guide'
+tmp="/tmp/mlton-guide.$$"
 version=`date +%Y%m%d`
 
 rm -rf $tmp




More information about the MLton-commit mailing list