Quit and clean when TVM is interrupted (#3640)
authorghostplant <ghostplant@qq.com>
Mon, 5 Aug 2019 16:31:55 +0000 (00:31 +0800)
committerTianqi Chen <tqchen@users.noreply.github.com>
Mon, 5 Aug 2019 16:31:55 +0000 (09:31 -0700)
commitcb7050c5356ec0012620bc5d665cd2b0cb34353b
tree767da0d8d6cc76e6419bf65ebe89aae998e5836d
parent0d611134fa54d6f69467625fe8467c12e019892a
Quit and clean when TVM is interrupted (#3640)
python/tvm/__init__.py