]> mj.ucw.cz Git - eval.git/commitdiff
A fix for a fix.
authorMartin Mares <mj@ucw.cz>
Sun, 1 Jul 2007 11:06:42 +0000 (13:06 +0200)
committerMartin Mares <mj@ucw.cz>
Sun, 1 Jul 2007 11:06:42 +0000 (13:06 +0200)
bin/ev

diff --git a/bin/ev b/bin/ev
index eeb5f0099aa15519c8f2a575fcf9fb630e172a9e..11876b5a02431f3d33a0ae02aa6b6567f8dd5b77 100755 (executable)
--- a/bin/ev
+++ b/bin/ev
@@ -19,7 +19,7 @@ log-init
 box-init
 
 # Compile the program
-locate-source $SDIR/$3
+locate-source `if [ -n "$3" ] ; then echo $SDIR/$3 ; fi`
 compile || true
 
 # Initialize the points file