mozilla/rust — pull request #3661 by auREAX (2012-10-04 22:10:37+00:00)
Title: Rename --enable-pax-marks to --enable-pax-flags.

This patch renames the pax-marks option to the more appropriate pax-flags. It also removes certain tool detection at OSes that won't ever need them and fixes a small GRSecurity detection documentation error.