]> mj.ucw.cz Git - eval.git/commitdiff
Fixed bug in searching for alternative solutions.
authorMartin Mares <mj@ucw.cz>
Sun, 1 Jul 2007 11:05:28 +0000 (13:05 +0200)
committerMartin Mares <mj@ucw.cz>
Sun, 1 Jul 2007 11:05:28 +0000 (13:05 +0200)
bin/ev

diff --git a/bin/ev b/bin/ev
index 554e5dc874778df2d980539088e1d30365475242..eeb5f0099aa15519c8f2a575fcf9fb630e172a9e 100755 (executable)
--- 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