diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/Makefile b/language/Makefile index 3187aef6..750a5fbd 100644 --- a/language/Makefile +++ b/language/Makefile @@ -1,4 +1,4 @@ -OTT=~/rsem/ott/bin/ott +OTT=../../../rsem/ott/bin/ott OTTLIB=$(dir $(shell which ott))../hol .PHONY: all |