tree be462ac3016d1e455928d9a64287bb85ddf3821f
parent 666d534636d262cbfd971509dd0f0be0cddb2e11
author Anthony King <anthonydking@slimroms.net> 1399320934 +0100
committer Anthony King <anthonydking@slimroms.net> 1399329667 +0100

Use exec() rather than execfile()

execfile() is not in Python 3.

Change-Id: I5af222340f13c1e8edaa820e7675d3e4d62a1689