From ef5eee97618d226249281bb0d2ad47c02d8f364c Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Wed, 31 Jan 2018 15:59:24 +0000
Subject: changed directory structure after migration to github

---
 language/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3