Merge pull request #4803 from pgavlin/RootBinDir
authorPat Gavlin <pgavlin@gmail.com>
Fri, 6 May 2016 23:32:18 +0000 (16:32 -0700)
committerPat Gavlin <pgavlin@gmail.com>
Fri, 6 May 2016 23:32:18 +0000 (16:32 -0700)
commit0ef1fc9aa3d65d41b5b9c8cd4911a1f8cdece049
tree0052077652f6e67c1837efde950625a8894ab518
parentfbaa0827781be897a51b5d529cef305e569ca5cc
parent0e79232129f3a27305bc24141ff13dd54bc61e45
Merge pull request #4803 from pgavlin/RootBinDir

Add a `bindir` parameter to build.sh.