tools, fix cleanup of created branch

Authored by bcoudoin on Aug 7 2016, 1:55 PM.

Description

tools, fix cleanup of created branch

Details

Committed
bcoudoinAug 7 2016, 1:56 PM
Parents
R2:7a6bb478f879: tools, improved source build script
Branches
Unknown
Tags
Unknown