fix the platform condition cmp#275

yinfangchen wants to merge 1 commit intoFudanSELab:masterFudanSELab/train-ticket:masterfrom

yinfangchen:fix-platform-cmpyinfangchen/train-ticket:fix-platform-cmpCopy head branch name to clipboard