diff options
| author | Barry Haddow <barry.haddow@gmail.com> | 2012-06-01 01:58:39 +0400 |
|---|---|---|
| committer | Barry Haddow <barry.haddow@gmail.com> | 2012-06-01 01:58:39 +0400 |
| commit | f716673f6765b2ce5c04b716e21cf233b4e17c8f (patch) | |
| tree | 7baaa80c7ef127b51c57bf76d27804b490dde436 /jam-files | |
| parent | 713ff8c5e25a86606c75c2a162cac76b180da1a0 (diff) | |
Allow combination of --prefix and --git
Diffstat (limited to 'jam-files')
| -rw-r--r-- | jam-files/sanity.jam | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/jam-files/sanity.jam b/jam-files/sanity.jam index 76763f98d..35caf4602 100644 --- a/jam-files/sanity.jam +++ b/jam-files/sanity.jam @@ -158,9 +158,11 @@ if [ option.get "git" : : "yes" ] { prefix = [ option.get "prefix" ] ; if $(prefix) { prefix = [ path.root $(prefix) [ path.pwd ] ] ; + prefix = $(prefix)$(GITTAG) ; } else { prefix = $(TOP)$(GITTAG) ; } + rule install-bin-libs ( deps * ) { local bindir = [ option.get "bindir" : $(prefix)/bin ] ; local libdir = [ option.get "libdir" : $(prefix)/lib ] ; |