xunzheng/toolkit — pull request #1 by cjf00000 (2014-02-16 09:41:04+00:00)
Title: Fixed bugs

* Bug for ICE
* do parallel make instead of serial
* wget --no-check-certificate