amplab/tachyon — pull request #189 by Du-Li (2014-05-07 23:39:25+00:00)
Title: change pinlist and whitelist separator from semicolon to comma

semicolon separator causes confusions while forming command line on unix. let's use comma instead.