projects / tools / gbs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a37a014) | patch
depend on profile instead of build_id in remote repo
authorZhang Qiang <qiang.z.zhang@intel.com>
Wed, 29 May 2013 08:17:24 +0000 (16:17 +0800)
committerGerrit Code Review <gerrit2@otctools.jf.intel.com>
Fri, 31 May 2013 02:09:05 +0000 (19:09 -0700)
commitc1bff4bc29096394301160dd14397e49929d73f9
tree4dd7581ed6e02d7bee0cda336b13bdec65a13066tree | snapshot
parenta37a014d08ac950595a3f13922fdcd7dda04151dcommit | diff
depend on profile instead of build_id in remote repo

It's more reasonable to depend on user defined profile name for local
repo generation, instead of depend on build_id in remote repo now.

Change-Id: I3467168e50b8c2041b5f5d682383bffbd24411e3
gitbuildsys/cmd_build.py diff | blob | history
Domain: SCM / Build;