diff options
| author | Shaked Flur | 2018-01-31 15:59:24 +0000 |
|---|---|---|
| committer | Shaked Flur | 2018-01-31 15:59:24 +0000 |
| commit | ef5eee97618d226249281bb0d2ad47c02d8f364c (patch) | |
| tree | 24f7341ea66a07c2fca0abbc10aac12c07608308 | |
| parent | 71fa25403c7e99ca57753faf9738f37fe36ed1c1 (diff) | |
changed directory structure after migration to github
| -rw-r--r-- | language/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/Makefile b/language/Makefile index 9167d65f..b1f8502a 100644 --- a/language/Makefile +++ b/language/Makefile @@ -1,6 +1,6 @@ #OTT=../../../rsem/ott/bin/ott # this is the binary that gets rebuilt by make in ott/src: -OTT=../../../github/ott/src/ott +OTT=../../ott/src/ott OTTLIB=$(dir $(shell which ott))../hol .PHONY: all |