diff options
author | Hieu Hoang <hieuhoang@gmail.com> | 2014-02-05 21:14:51 +0400 |
---|---|---|
committer | Hieu Hoang <hieuhoang@gmail.com> | 2014-02-05 21:14:51 +0400 |
commit | 31857c47a20bca93ca65297e2495d861d71f1388 (patch) | |
tree | f0bf1ef282d364250119617628a6b8bb902fd390 /moses/Jamfile | |
parent | 38d106bd56a1bb105daca327f6d3d378f4166a72 (diff) | |
parent | d26fe4cc4dc8bc417fcdc91ffe05cd6dc8503f4c (diff) |
Merge branch 'master' into nikolay_probingPT
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 abe34af3d..d1f6e180d 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 { |