third try is the charm. Sorry tomeu (and others).<br><br><div class="gmail_quote">On Thu, Apr 10, 2008 at 11:10 AM, Jameson Chema Quinn <<a href="mailto:jquinn@cs.oberlin.edu">jquinn@cs.oberlin.edu</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> Resending patch in unified format<div><div></div><div class="Wj3C7c"><br><br><div class="gmail_quote">On Thu, Apr 10, 2008 at 11:01 AM, Jameson Chema Quinn <<a href="mailto:jquinn@cs.oberlin.edu" target="_blank">jquinn@cs.oberlin.edu</a>> wrote:<br> <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> This patch also has one unrelated change, creating INSTANCE_DIR as a global.<br> </blockquote></div><br> </div></div></blockquote></div><br>