Fix result file

[satune.git] / src / Test / run.sh

diff --git a/src/Test/run.sh b/src/Test/run.sh
index 9741fe097acd733c1f8256fc91dd615aad844cbd..4590edeaa012c9cc0681ae01ea025f418215a4f2 100755 (executable)
--- 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
 export LD_LIBRARY_PATH=../bin
 # For Mac OSX
 export DYLD_LIBRARY_PATH=../bin

-
+# For sat_solver
+export PATH=.:$PATH
+echo $@

 $@
 $@