Fix result file

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

diff --git a/src/Test/run.sh b/src/Test/run.sh
index e74b557af516008fcecb3684c8450d2af9e13fa0..4590edeaa012c9cc0681ae01ea025f418215a4f2 100755 (executable)
--- a/src/Test/run.sh
+++ b/src/Test/run.sh
@@ -5,5 +5,5 @@ export LD_LIBRARY_PATH=../bin
 export DYLD_LIBRARY_PATH=../bin
 # For sat_solver
 export PATH=.:$PATH
-
+echo $@
 $@