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 | 9fe831c60c2efe3a1dcf8b24d837d6f41bfac619 (patch) | |
tree | 99a7ca15a77378c080300fcccef7e364d05998e9 /Jamroot | |
parent | 8d68887fc084d02d5b4853e927598258807916da (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 ] ; |