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)
Add a `bindir` parameter to build.sh.


Trivial merge