Move dockerbuild.sh to build_tools/

Summary: That's where we keep build tools :)

Test Plan: none

Reviewers: sdong

Reviewed By: sdong

Subscribers: dhruba, leveldb

Differential Revision: https://reviews.facebook.net/D39741
This commit is contained in:
Igor Canadi 2015-06-17 14:09:12 -07:00
parent 4716ab4d16
commit c89369f57c