`--pants-config-files="['$DIR/pants.ini', '$DIR/pa...
# generalh
high-advantage-47550
05/31/2017, 7:27 PM--pants-config-files="['$DIR/pants.ini', '$DIR/pants.ci.ini']"--pants-config-files="['$DIR/pants.ci.ini', '$DIR/pants.ini']"high-advantage-47550
05/31/2017, 7:27 PM--pants-config-files="['$DIR/pants.ini', '$DIR/pants.ci.ini']"--pants-config-files="['$DIR/pants.ci.ini', '$DIR/pants.ini']"