diff options
author | Ulrich Germann <ugermann@inf.ed.ac.uk> | 2014-02-21 05:04:02 +0400 |
---|---|---|
committer | Ulrich Germann <ugermann@inf.ed.ac.uk> | 2014-02-21 05:04:02 +0400 |
commit | ef2ef881a4cd207480fbdc0d638a29612768d6fc (patch) | |
tree | 04ddddf3c5beb68f4d7aab007bdc6e65f5225d59 /moses/Jamfile | |
parent | a6ce081e15e01a0ae969d838622ad471a21a41be (diff) | |
parent | 007799eb075590d81f3b1fdadd8e84a984eb6fe0 (diff) |
Merge branch 'dynamic-phrase-tables' of file:///home/germann/git/mosesdecoder into dynamic-phrase-tables
Diffstat (limited to 'moses/Jamfile')
-rw-r--r-- | moses/Jamfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/moses/Jamfile b/moses/Jamfile index 35dbe4d05..b82cd3049 100644 --- a/moses/Jamfile +++ b/moses/Jamfile @@ -12,6 +12,7 @@ if $(with-dlib) { alias headers : ../util//kenutil : : : $(max-factors) $(dlib) ; alias ThreadPool : ThreadPool.cpp ; +alias Util : Util.cpp Timer.cpp ; if [ option.get "with-synlm" : no : yes ] = yes { |