diff options
Diffstat (limited to 'Jamroot')
-rw-r--r-- | Jamroot | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -338,8 +338,8 @@ if [ path.exists $(TOP)/dist ] && $(prefix) != dist { } #local temp = [ _shell "bash source ./s.sh" ] ; -local temp = [ _shell "mkdir -p $(TOP)/bin" ] ; -local temp = [ _shell "rm -f $(TOP)/bin/moses_chart" ] ; -local temp = [ _shell "cd $(TOP)/bin && ln -sf moses moses_chart" ] ; -local temp = [ _shell "cd $(TOP)/bin && ln -sf CreateProbingPT CreateProbingPT2" ] ; +local temp = [ _shell "mkdir -p $(PREFIX)/bin" ] ; +local temp = [ _shell "rm -f $(PREFIX)/bin/moses_chart" ] ; +local temp = [ _shell "cd $(PREFIX)/bin && ln -sf moses moses_chart" ] ; +local temp = [ _shell "cd $(PREFIX)/bin && ln -sf CreateProbingPT CreateProbingPT2" ] ; |