phase1: use a different name for the Git clone work directory
authorJo-Philipp Wich <jo@mein.io>
Tue, 15 Nov 2016 13:28:41 +0000 (14:28 +0100)
committerJo-Philipp Wich <jo@mein.io>
Tue, 15 Nov 2016 13:28:41 +0000 (14:28 +0100)
commitd5c7fd616e540c6c775101fc2312ab80c0d2ae64
tree59a71caafe4b43fe245bf2613ba7a57e738f1a90
parent6fde0820a1b5f151d034d0d9679ce18b32a4d926
phase1: use a different name for the Git clone work directory

Upon first start, the build master expects a clean directory to issue
git init --bare in, therfore we cannot use the clone used for bootstrapping.

Signed-off-by: Jo-Philipp Wich <jo@mein.io>
phase1/master.cfg