From: Martin Mares <mj@ucw.cz>
Date: Sun, 1 Jul 2007 11:05:28 +0000 (+0200)
Subject: Fixed bug in searching for alternative solutions.
X-Git-Tag: python-dummy-working~329
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=e39c44529e453e897e638bf3424f912891066a5d;p=eval.git

Fixed bug in searching for alternative solutions.
---

diff --git a/bin/ev b/bin/ev
index 554e5dc..eeb5f00 100755
--- a/bin/ev
+++ b/bin/ev
@@ -19,7 +19,7 @@ log-init
 box-init
 
 # Compile the program
-locate-source $3
+locate-source $SDIR/$3
 compile || true
 
 # Initialize the points file