tree 005d663da616efc0137f9172cdf2425520685675
parent c8862ade991b623e197ce120f10a628671d9b503
author Erez A. Korn <erakorn@gmail.com> 1344749639 +0300
committer Gerrit Code Review <gerrit@review.cyanogenmod.com> 1345370864 +0400

Allow buildtype user

The tools scripts did not handle buildtype user correctly.

Change-Id: Ie4f98dbab7e97a8244ee1d9b4d995673e0aac930