X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTest%2Frun.sh;h=4590edeaa012c9cc0681ae01ea025f418215a4f2;hp=9741fe097acd733c1f8256fc91dd615aad844cbd;hb=526e78e9379fb1cf98186f4195e8f52866e80063;hpb=ddc4141470ead8ab7bfa6047a6a6a0ac1766a91f

diff --git a/src/Test/run.sh b/src/Test/run.sh
index 9741fe0..4590ede 100755
--- a/src/Test/run.sh
+++ b/src/Test/run.sh
@@ -3,5 +3,7 @@
 export LD_LIBRARY_PATH=../bin
 # For Mac OSX
 export DYLD_LIBRARY_PATH=../bin
-
+# For sat_solver
+export PATH=.:$PATH
+echo $@
 $@