Attachment #47710
Use $(EGREP) instead of 'grep -E' patch 2011-06-08 02:22:17 UTC 915 bytes no flags Details

Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.