don't install mic on centos and give error if mic does not exist
authorZhang Qiang <qiang.z.zhang@intel.com>
Thu, 16 May 2013 07:30:33 +0000 (15:30 +0800)
committerZhang Qiang <qiang.z.zhang@intel.com>
Thu, 16 May 2013 08:29:23 +0000 (16:29 +0800)
commitdfd293b6e80566e441d0c3a565078797e2babf5d
treec3702e8bc72e321032a60f6ffbf3af6b45906738
parent840eb2c71f1f8205a5e4b04c15e9ee2641f497f7
don't install mic on centos and give error if mic does not exist

Currently, CentOS has not been supportted by mic, so user have to
install mic manually on CentOS

Change-Id: I9f245b34b6dcb1f6df1f7b7565fb3efa16b50b82
gitbuildsys/cmd_createimage.py
packaging/gbs.spec