diff tools/mira4/mira4_mapping.xml @ 18:381aa262c8cb draft

Uploaded v0.0.2 preview 10, override /tmp via environment variable
author peterjc
date Tue, 25 Mar 2014 07:37:50 -0400
parents 5bbaa930d7fa
children 8487d70e82aa
line wrap: on
line diff
--- a/tools/mira4/mira4_mapping.xml	Mon Mar 03 11:49:21 2014 -0500
+++ b/tools/mira4/mira4_mapping.xml	Tue Mar 25 07:37:50 2014 -0400
@@ -92,6 +92,7 @@
 ##
 ## -DI:trt is short for -DIRECTORY:tmp_redirected_to and should
 ## point to a local hard drive (not something like NFS on network).
+## We replace /tmp with an environment variable via mira4.py
 
 ##This bar goes into the manifest as a comment line
 #------------------------------------------------------------------------------