diff options
author | Kenneth Heafield <github@kheafield.com> | 2011-12-01 22:26:05 +0400 |
---|---|---|
committer | Kenneth Heafield <github@kheafield.com> | 2011-12-01 22:26:05 +0400 |
commit | a0d79781e555067a31823b593ff3f36d6ed5e54e (patch) | |
tree | 99a7ca15a77378c080300fcccef7e364d05998e9 /Jamroot | |
parent | ececab6e2723e0122c49401ee9afca85e5fc39fc (diff) |
Merge CreateOnDisk into OnDiskPt, pop out of src
Diffstat (limited to 'Jamroot')
-rw-r--r-- | Jamroot | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -191,7 +191,7 @@ if [ option.get "git" : : "yes" ] { constant GITTAG : "" ; } -alias programs : lm//query lm//build_binary moses-chart-cmd/src//moses_chart moses-cmd/src//programs CreateOnDisk/src//CreateOnDisk mert//programs contrib/server//mosesserver misc//programs ; +alias programs : lm//query lm//build_binary moses-chart-cmd/src//moses_chart moses-cmd/src//programs OnDiskPt//CreateOnDisk mert//programs contrib/server//mosesserver misc//programs ; prefix = [ option.get "prefix" : $(TOP)/dist$(GITTAG) ] ; bindir = [ option.get "bindir" : $(prefix)/bin ] ; |