diff options
author | Kenneth Heafield <github@kheafield.com> | 2013-02-14 17:11:53 +0400 |
---|---|---|
committer | Kenneth Heafield <github@kheafield.com> | 2013-02-14 17:11:53 +0400 |
commit | 8ef095e8faa81e0c218ecb5229adc1bd5b70fe29 (patch) | |
tree | ad753593da49eac18bc4ae5c6c96155e040e6a76 /search/Jamfile | |
parent | 10012fac15327d564e276a563daf5b12c5d43534 (diff) |
Update incremental search, cuts runtime by a third
Diffstat (limited to 'search/Jamfile')
-rw-r--r-- | search/Jamfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/search/Jamfile b/search/Jamfile index f6433e0e3..1dee51cec 100644 --- a/search/Jamfile +++ b/search/Jamfile @@ -1 +1 @@ -fakelib search : edge_generator.cc nbest.cc rule.cc vertex.cc vertex_generator.cc ../lm//kenlm ../util//kenutil /top//boost_system : : : <include>.. ; +fakelib search : edge_generator.cc nbest.cc rule.cc vertex.cc ../lm//kenlm ../util//kenutil /top//boost_system : : : <include>.. ; |