Thanks, Armin, but that&#39;s the first place I looked. There is no makefile there.<br><br>--Elad<br><br><div class="gmail_quote">On Wed, Sep 14, 2011 at 3:57 PM, Armin Rigo <span dir="ltr">&lt;<a href="mailto:arigo@tunes.org">arigo@tunes.org</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Hi Elad,<br>
<div class="im"><br>
On Wed, Sep 14, 2011 at 4:12 PM, Elad Lahav &lt;<a href="mailto:e2lahav@gmail.com">e2lahav@gmail.com</a>&gt; wrote:<br>
&gt; The source files were created under the /tmp directory. The first thing I am<br>
&gt; missing, though, is a makefile.<br>
<br>
</div>The Makefile should be in /tmp/usession-xxx/testing_1/.<br>
<br>
<br>
A bientôt,<br>
<font color="#888888"><br>
Armin.<br>
</font></blockquote></div><br>