Fix result file
[satune.git] / src / Test / run.sh
1 #!/bin/bash
2
3 export LD_LIBRARY_PATH=../bin
4 # For Mac OSX
5 export DYLD_LIBRARY_PATH=../bin
6 # For sat_solver
7 export PATH=.:$PATH
8 echo $@
9 $@