Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / fuzzy / time-fuzzydl.sh @ b75e5a66

History | View | Annotate | Download (278 Bytes)

1
#!/bin/sh
2

    
3
FUZZYDL_PATH=../FuzzyOWL2Tools/FuzzyDL/
4

    
5
cd $FUZZYDL_PATH
6

    
7
cat > input-test
8
echo -n "$1 "
9
FOO=$(./time -o /proc/self/fd/1 -f "%U" timeout 5s java -cp /usr/share/java/gurobi/gurobi.jar:FuzzyDL.jar fuzzydl.parser.Parser input-test 2>/dev/null | grep -v "Is")
10
echo $FOO