Whitelist the appropriate filter option name for zinc

Review Request #2839 - Created Sept. 17, 2015 and submitted

Information
Stu Hood
pants
e5f7aa2...
Reviewers
pants-reviews
molsen, zundel

Accidentally whitelisted the wrong option name: should be -file-filter:

https://github.com/pantsbuild/pants/blob/5992baa489882c21218955b20a5638548711d9b9/src/scala/org/pantsbuild/zinc/Settings.scala#L202

no longer warns for a valid option

Eric Ayers
Stu Hood
Review request changed

Status: Closed (submitted)

Change Summary:

Merged as 19921175a9a914fdab0e6ef83954a1279497e245

Loading...