projects / tools / mic.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0130711) | patch
gpt_parser: add an index element to the partition record
authorArtem Bityutskiy <artem.bityutskiy@intel.com>
Wed, 10 Apr 2013 07:36:17 +0000 (10:36 +0300)
committerArtem Bityutskiy <artem.bityutskiy@intel.com>
Fri, 19 Apr 2013 13:25:55 +0000 (16:25 +0300)
commit3dc84486b4d318fa56f5d3100d3fd26b6c3313e1
tree3d48a5ad50a30e6e5ce8f49701479b35d2417225tree | snapshot
parent0130711d2384e59824af40f666d11bf0a52f8ee5commit | diff
gpt_parser: add an index element to the partition record

Add an 'index' element to the partition record returned by the
'get_partitions()' method. This is very useful to have when one wants
to change a partition record, which will be implemented in one of the
following patches.

Change-Id: I04b560a7d1e8a97470eea5c221cba7d3e039a501
Signed-off-by: Artem Bityutskiy <artem.bityutskiy@intel.com>
mic/utils/gpt_parser.py diff | blob | history
mic/utils/partitionedfs.py diff | blob | history
Domain: SCM / Build;