diff options
author | Hieu Hoang <hieuhoang@gmail.com> | 2015-03-17 13:25:34 +0300 |
---|---|---|
committer | Hieu Hoang <hieuhoang@gmail.com> | 2015-03-17 13:25:34 +0300 |
commit | 25feb7e47b0cf213d7b01b494170559d27f5adca (patch) | |
tree | e5b48a6c9ca3c8bb9e8f4df040bdd7bcf2c036cb /contrib | |
parent | e1a5c1e1403ecf4f761540873f0328a51fd4c0db (diff) |
option to change the estimated score only, not actuall score
Diffstat (limited to 'contrib')
-rw-r--r-- | contrib/other-builds/all.workspace | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/other-builds/all.workspace b/contrib/other-builds/all.workspace index b02bc5f31..90c72579b 100644 --- a/contrib/other-builds/all.workspace +++ b/contrib/other-builds/all.workspace @@ -8,8 +8,8 @@ <Project Name="OnDiskPt" Path="OnDiskPt/OnDiskPt.project" Active="No"/> <Project Name="search" Path="search/search.project" Active="No"/> <Project Name="moses" Path="moses/moses.project" Active="No"/> - <Project Name="moses-cmd" Path="moses-cmd/moses-cmd.project" Active="No"/> - <Project Name="score" Path="score/score.project" Active="Yes"/> + <Project Name="moses-cmd" Path="moses-cmd/moses-cmd.project" Active="Yes"/> + <Project Name="score" Path="score/score.project" Active="No"/> <BuildMatrix> <WorkspaceConfiguration Name="Debug" Selected="yes"> <Project Name="manual-label" ConfigName="Debug"/> |