cms-sw/cmssw — pull request #3145 by ojeda (2014-04-01 19:07:27+00:00)
Title: Remove unneeded flags

Trivial.